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  -