Geodesic
Combinatorial and automated proofs of certain identities
The electronic journal of combinatorics, The Zeilberger Festschrift volume, Tome 18 (2011) no. 2

Voir la notice de l'article provenant de la source The Electronic Journal of Combinatorics website

Zbl EuDML
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 
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
@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

Cité par Sources :