Computer proofs for polynomial identities in arbitrary many variables

Manuel Kauers. Computer proofs for polynomial identities in arbitrary many variables. In Jaime Gutierrez, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings. pages 199-204, ACM, 2004. [doi]

Authors

Manuel Kauers

This author has not been identified. Look up 'Manuel Kauers' in Google