Computer proofs for polynomial identities in arbitrary many variables.

Manuel Kauers

Browse the full ISSAC paper archive.