Revitalized automatic proofs: demonstrations

MaRDI QIDQ5384148zbMATH OpenFDO

Authors David Callan, Hideyuki Ohtsuka, Roberto Tauraso, T. Amdeberhan

Publication date 21 June 2019

Full work available at URL https://arxiv.org/abs/1610.09737, http://math.colgate.edu/~integers/r16/r16.pdf

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Catalan triangle

Mathematics Subject Classification ID

Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) Binomial coefficients; factorials; (q)-identities (11B65)

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.

Recommendations

• On proofs of certain combinatorial identities
• Computer proofs of new identities in the Catalan triangle
• A series involving Catalan numbers: proofs and demonstrations
• scientific article; zbMATH DE number 434742
• Proofs of two conjectures on Catalan triangle numbers

Cites work

• Factors of binomial sums from the Catalan triangle
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
• Some binomial sums involving absolute values
• Sums of powers of Catalan triangle numbers

Cited in

(4)

• On proofs of certain combinatorial identities
• Automation for interactive proof: first prototype
• Presenting machine-found proofs
• Catalan identities for generalized Fibonacci polynomials

This page was built for publication: Revitalized automatic proofs: demonstrations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5384148)