Combinatorial and Automated Proofs of Certain Identities

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


This paper focuses on two binomial identities. The proofs illustrate the power and elegance in enumerative/algebraic combinatorial arguments, modern machine-assisted techniques of Wilf-Zeilberger and the classical tools of generatingfunctionology.

Full Text: