scientific article; zbMATH DE number 7665843

MaRDI QIDQ5884404zbMATH OpenFDO

Authors José L. Ramírez, Fabio A. Velandia

Publication date 20 March 2023

Full work available at URL http://scm.org.co/archivos/revista/Articulos/1357.pdf

zbMATH Keywords

combinatorial identitiesGosper's algorithmWZ methodZeilberger's algorithm

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Computer assisted proofs of proofs-by-exhaustion type (68V05)

Recommendations

• Combinatorial and automated proofs of certain identities
• scientific article; zbMATH DE number 3358552
• A new approach for proving or generating combinatorial identities
• Combinatorial proofs of some enumeration identities
• Proofs and applications for a combinatorial identity
• On proofs of certain combinatorial identities
• On proofs of certain combinatorial identities
• scientific article; zbMATH DE number 3014016
• scientific article; zbMATH DE number 7379066
• scientific article; zbMATH DE number 3308309

Cited in

(5)

• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• How To Do Monthly Problems With Your Computer
• Formal residue and computer-assisted proofs of combinatorial identities
• Egorychev method: a hidden treasure
• Catalan identities for generalized Fibonacci polynomials

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication:

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