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.
Amdeberhan, T., Callan, D., Ohtsuka, H., Tauraso, R. (2017). Revitalized automatic proofs: demonstrations. INTEGERS, 17, 1-12.
Revitalized automatic proofs: demonstrations
Tauraso R
2017-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
