Revitalized automatic proofs: demonstrations
Combinatorics
2016-11-01 v1
Abstract
We consider three problems from the recent issues of the American Mathematical Monthly involving different versions of Catalan triangle. Our main results offer generalizations of these identities and demonstrate automated proofs with additional twists, and on occasion we furnish a combinatorial proof.
Keywords
Cite
@article{arxiv.1610.09737,
title = {Revitalized automatic proofs: demonstrations},
author = {Tewodros Amdeberhan and David Callan and Hideyuki Ohtsuka and Roberto Tauraso},
journal= {arXiv preprint arXiv:1610.09737},
year = {2016}
}
Comments
10 pages