Revitalized Automatic Proofs: Demonstrations
We consider three problems from recent issues of the American Mathematical Monthly involving different versions of the Catalan triangle. Our main results other generalizations of these identities and demonstrate automated proofs with additional twists, and on occasion we furnish a combinatorial proof.
