Combinatorial and automated proofs of certain identities

zbMath1229.05036MaRDI QIDQ547809

Alex Quenon, Maryam Karnib, Amelia Farid, Justin Brereton, Gary Marple, Akalu Tefera

Publication date: 24 June 2011

Published in: The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/230649

zbMATH Keywords

combinatorial identitiesrecurrence equationsZeilberger algorithmgeneratingfunctionologyWZ

Mathematics Subject Classification ID

Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19)

Related Items (1)

Combinatorial identities and hypergeometric functions

Uses Software

• EKHAD
• SumTools

This page was built for publication: Combinatorial and automated proofs of certain identities