Indexed metadata
Combinatorial and Automated Proofs of Certain Identities
Justin Brereton, Amelia Farid, Maryam Karnib, Gary Marple, Alex Quenon, Akalu Tefera
Source abstract
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.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.