Revitalized automatic proofs: demonstrations

zbMath1412.11030arXiv1610.09737MaRDI QIDQ5384148

David Callan, Hideyuki Ohtsuka, Roberto Tauraso, Tewodoros Amdeberhane

Publication date: 21 June 2019

Full work available at URL: https://arxiv.org/abs/1610.09737

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)

Related Items (1)

On proofs of certain combinatorial identities

Cites Work

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

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