Combinatorial and automated proofs of certain identities

zbMATH Open1229.05036MaRDI QIDQ547809FDOQ547809

Alex Quenon, Maryam Karnib, Amelia Farid, Justin Brereton, Gary R. 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

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

zbMATH Keywords

combinatorial identitiesrecurrence equationsZeilberger algorithmgeneratingfunctionologyWZ

Mathematics Subject Classification ID

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

Cited In (7)

• On proofs of certain combinatorial identities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic proofs and counterexamples for some ortholattice identities
• Automatic proofs for formulae enumerating proper polycubes
• Combinatorial identities and hypergeometric functions
• Title not available (Why is that?)

Uses Software

• EKHAD
• SumTools

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

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