vix.ing · top · new · best · stats · spec

Revitalized automatic proofs: demonstrations

2016/10/31 by Tewodros Amdeberhan, David Callan, Amdeberhan, Tewodros +5
Computer Science · #Combinatorics (math.CO) #FOS: Mathematics #Semantic Web and Ontologies

paper · pdf · doi:10.48550/arxiv.1610.09737

openalex publication_date 2016/10/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related