Computer proofs of new identities in the Catalan triangle

MaRDI QIDQ3400701zbMATH OpenFDO

Authors Natalia Romero, Pedro J. Miana

Publication date 5 February 2010

zbMATH Keywords

Catalan numbersbinomial coefficientscombinatorial identitiesWZ theoryWilf Zeilberger theory

Mathematics Subject Classification ID

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

Recommendations

• New identities in the Catalan triangle
• Some new binomial sums related to the Catalan triangle
• Proofs of two conjectures on Catalan triangle numbers
• scientific article; zbMATH DE number 6750767
• Several identities in the Catalan triangle

Cited in

(7)

• New congruences with the generalized Catalan numbers and harmonic numbers
• Moments of combinatorial and Catalan numbers
• Several identities in the Catalan triangle
• On congruences involving the generalized Catalan numbers and harmonic numbers
• New identities in the Catalan triangle
• Proofs of two conjectures on Catalan triangle numbers
• Revitalized automatic proofs: demonstrations

This page was built for publication: Computer proofs of new identities in the Catalan triangle

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