Combinatorial and automated proofs of certain identities
From MaRDI portal
Publication:547809
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
Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19)
Related Items
Uses Software
