A generalization of Gosper's algorithm to bibasic hypergeometric summation

Electronic Journal of Combinatorics

Volumn 3, Issue 1 R, 1996, Pages 1-16

  Riese, Axel ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0010153527     PISSN: 10778926     EISSN: 10778926     Source Type: Journal    
DOI: 10.37236/1243     Document Type: Article

References (14)

1. S.A. Abramov, P. Paule, and M. Petkovšek, q-Hypergeometric solutions of q-difference equations, preprint, 1995.
2. W. Al-Salam and A. Verma, On quadratic transformations of basic series, SIAM J. Math. Anal., 15 (1984), 414-421.
3. G. Gasper, Summation, transformation, and expansion formulas for bibasic series, Trans. Amer. Math. Soc., 312 (1989), 257-277.
4. G. Gasper and M. Rahman, An indefinite bibasic summation formula and some quadratic, cubic, and quartic summation and transformation formulas, Canad. J. Math., 42 (1990), 1-27.
5. G. Gasper and M. Rahman, Basic Hypergeometric Series, Encyclopedia of Mathematics and its Applications, 35 (G.-C. Rota, ed.), Cambridge University Press, London and New York, 1990.
6. I.M. Gessel and D. Stanton, Applications of q-Lagrange inversion to basic hypergeometric series, Trans. Amer. Math. Soc., 277 (1983), 173-201.
7. R.W. Gosper, Decision procedures for indefinite hypergeometric summation, Proc. Natl. Acad. Sci. U.S.A., 75 (1978), 40-42.
8. P. Paule, Greatest factorial factorization and symbolic summation, J. Symbolic Computation, 20 (1995), 235-268.
9. P. Paule and A. Riese, A Mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated approach to q-hypergeometric telescoping, preprint, to appear in Fields Proceedings of the Workshop on "Special Functions, q-Series and Related Topics", organized by the Fields Institute for Research in Mathematical Sciences at University College, 12-23 June 1995, Toronto, Ontario.
10. P. Paule and V. Strehl, Symbolic summation - some recent developments, Computer-algebra in Science and Engineering - Algorithms, Systems, Applications (J. Fleischer, J. Grabmeier, F. Hehl, and W. Küchlin, eds.), pp. 138-162, World Scientific, Singapore, 1995.
11. M. Petkovšek, H.S. Wilf, and D. Zeilberger, A = B, A.K. Peters, 1996.
12. A. Riese, A Mathematica q-analogue of Zeilberger's algorithm for proving q-hypergeometric identities, Diploma thesis, J. Kepler University, Linz, 1995.
13. H.S. Wilf and D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities, Invent. Math., 108 (1992), 575-633.
14. D. Zeilberger, A fast algorithm for proving terminating hypergeometric identities, Discrete Math., 80 (1990), 207-211.