Revitalized automatic proofs: demonstrations
classification
🧮 math.CO
keywords
proofsadditionalamericanautomatedautomaticcatalancombinatorialconsider
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.