Combinatorial and automated proofs of certain identities.

Brereton, Justin, et al. "Combinatorial and automated proofs of certain identities.." The Electronic Journal of Combinatorics [electronic only] 18.2 (2011): Research Paper P14, 14 p., electronic only-Research Paper P14, 14 p., electronic only. <http://eudml.org/doc/230649>.

@article{Brereton2011,
author = {Brereton, Justin, Farid, Amelia, Karnib, Maryam, Marple, Gary, Quenon, Alex, Tefera, Akalu},
journal = {The Electronic Journal of Combinatorics [electronic only]},
keywords = {recurrence equations; combinatorial identities; Zeilberger algorithm; WZ; generatingfunctionology},
language = {eng},
number = {2},
pages = {Research Paper P14, 14 p., electronic only-Research Paper P14, 14 p., electronic only},
publisher = {Prof. André Kündgen, Deptartment of Mathematics, California State University San Marcos, San Marcos},
title = {Combinatorial and automated proofs of certain identities.},
url = {http://eudml.org/doc/230649},
volume = {18},
year = {2011},
}

TY - JOUR
AU - Brereton, Justin
AU - Farid, Amelia
AU - Karnib, Maryam
AU - Marple, Gary
AU - Quenon, Alex
AU - Tefera, Akalu
TI - Combinatorial and automated proofs of certain identities.
JO - The Electronic Journal of Combinatorics [electronic only]
PY - 2011
PB - Prof. André Kündgen, Deptartment of Mathematics, California State University San Marcos, San Marcos
VL - 18
IS - 2
SP - Research Paper P14, 14 p., electronic only
EP - Research Paper P14, 14 p., electronic only
LA - eng
KW - recurrence equations; combinatorial identities; Zeilberger algorithm; WZ; generatingfunctionology
UR - http://eudml.org/doc/230649
ER -