The extended Zeilberger algorithm with parametersWilliam Y. C. Chen, Qing-Hu Hou, Yan-Ping MuJ. Symb. Comput.2012

Algorithms for q-Hypergeometric Summation in Computer AlgebraHarald Böing, Wolfram KoepfJ. Symb. Comput.19991 Excerpt

A Mathematica q-analogue of Zeilberger’s algorithm for proving qhypergeometric identitiesA. RieseRISC, J. Kepler University Linz, Diploma Thesis19951 Excerpt

Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar TypePeter PauleElectr. J. Comb.1994

A Mathematica q-Analogue of Zeilberger’s Algorithm Based on an Algebraically Motivated Approach to q-Hypergeometric TelescopingPeter Paule, Axel Riese19912 Excerpts

An Algorithmic Proof Theory for Hypergeometric (ordinary and ``$q$'') Multisum/integral IdentitiesHERBERT S. WILF19911 Excerpt

A Mathematica qanalogue of Zeilberger ’ s algorithm based on an algebraically motivated approach to qhypergeometric telescoping , In : Special Functions , qSeries and Related TopicsA. RieseFields Inst . Commun .