Combinatorial and automated proofs of certain identities
The electronic journal of combinatorics, The Zeilberger Festschrift volume, Tome 18 (2011) no. 2
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.
DOI :
10.37236/2010
Classification :
05A19, 05A10
Mots-clés : recurrence equations, combinatorial identities, Zeilberger algorithm, WZ, generatingfunctionology
Mots-clés : recurrence equations, combinatorial identities, Zeilberger algorithm, WZ, generatingfunctionology
@article{10_37236_2010,
author = {Justin Brereton and Amelia Farid and Maryam Karnib and Gary Marple and Alex Quenon and Akalu Tefera},
title = {Combinatorial and automated proofs of certain identities},
journal = {The electronic journal of combinatorics},
year = {2011},
volume = {18},
number = {2},
doi = {10.37236/2010},
zbl = {1229.05036},
url = {http://geodesic.mathdoc.fr/articles/10.37236/2010/}
}
TY - JOUR AU - Justin Brereton AU - Amelia Farid AU - Maryam Karnib AU - Gary Marple AU - Alex Quenon AU - Akalu Tefera TI - Combinatorial and automated proofs of certain identities JO - The electronic journal of combinatorics PY - 2011 VL - 18 IS - 2 UR - http://geodesic.mathdoc.fr/articles/10.37236/2010/ DO - 10.37236/2010 ID - 10_37236_2010 ER -
%0 Journal Article %A Justin Brereton %A Amelia Farid %A Maryam Karnib %A Gary Marple %A Alex Quenon %A Akalu Tefera %T Combinatorial and automated proofs of certain identities %J The electronic journal of combinatorics %D 2011 %V 18 %N 2 %U http://geodesic.mathdoc.fr/articles/10.37236/2010/ %R 10.37236/2010 %F 10_37236_2010
Justin Brereton; Amelia Farid; Maryam Karnib; Gary Marple; Alex Quenon; Akalu Tefera. Combinatorial and automated proofs of certain identities. The electronic journal of combinatorics, The Zeilberger Festschrift volume, Tome 18 (2011) no. 2. doi: 10.37236/2010
Cité par Sources :