Manuel Kauers,
"Computer Proofs for Polynomial Identities in Arbitrary Many Variables"
, Serie SFB F013 Reports, Nummer 2004-6, SFB, Johannes Kepler University, 4040 Linz, 3-2004
Original Titel:
Computer Proofs for Polynomial Identities in Arbitrary Many Variables