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]
@inproceedings{Kauers04,
title = {Computer proofs for polynomial identities in arbitrary many variables},
author = {Manuel Kauers},
year = {2004},
doi = {10.1145/1005285.1005315},
url = {http://doi.acm.org/10.1145/1005285.1005315},
researchr = {https://researchr.org/publication/Kauers04},
cites = {0},
citedby = {0},
pages = {199-204},
booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings},
editor = {Jaime Gutierrez},
publisher = {ACM},
isbn = {1-58113-827-X},
}