author = {Manuel Kauers}, title = {{Computer Proofs for Polynomial Identities in Arbitrary Many Variables}}, language = {english}, year = {2004}, month = {March}, institution = {SFB Numeric and Symbolical Computation}, length = {6}