Multibasic and Mixed Hypergeometric Gosper-Type Algorithms

Journal of Symbolic Computation

Volumn 28, Issue 4-5, 1999, Pages 711-736

  Bauer, Andrej ^a   Petkovšek, Marko ^b  

^a Carnegie Mellon University   (United States)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042545136     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1999.0321     Document Type: Article

References (27)

1. Abramov S. A. Rational solutions of linear difference and q -difference equations with polynomial coefficients. Program. Comput. Software. 21:1995;273-278.
2. S. A. Abramov, M. Bronstein, M. Petkovšek, Proceedings ISSAC '95, Levelt, T. 1995, ACM Press, New York, 290, 296.
3. Abramov S. A., Paule P., Petkovšek M. q -Hypergeometric solutions of q -difference equations. Discrete Math. 180:1998;3-22.
4. Almkvist G., Zeilberger D. The method of differentiating under the integral sign. J. Symb. Comput. 10:1990;571-591.
5. Bronstein M., Petkovšek M. An introduction to pseudo-linear algebra. Theor. Comput. Sci. 157:1996;3-33.
6. Cohn R. M. Difference Algebra. 1965;Wiley-Interscience, New York.
7. Gasper G., Rahman M. Basic Hypergeometric Series. 1990;Cambridge University Press, Cambridge.
8. Jr, R. W, Gosper, Proceedings '77 MACSYMA Users Conference, Berkeley, 1977, 237, 252.
9. Gosper Jr, R. W.,. Decision procedure for indefinite hypergeometric summation. Proc. Natl. Acad. Sci. USA. 75:1978;40-42.
10. R. W. Gosper, Jr.
11. M. van Hoeij, Proceedings ISSAC '98, Gloor, O. 1998a, ACM Press, New York, 120, 123.
12. M. van Hoeij, Proceedings MEGA '98. 1998b.
13. ndedn, volume 2. 1981;Addison-Wesley, Reading, MA.
14. Koornwinder T. H. On Zeilberger's algorithm and its q -analogue. J. Comput. Appl. Math. 48:1993;91-111.
15. Mishra B. Algorithmic Algebra. 1993;Springer-Verlag, New York.
16. R. Moenck, Proceedings '77 MACSYMA Users Conference, Berkeley, 1977, 225, 236.
17. Paule P. Greatest factorial factorization and symbolic summation. J. Symb. Comput. 20:1995;235-268.
18. Paule P., Riese A. A Mathematica q -analogue of Zeilberger's algorithm based on an algebraically motivated approach to q -hypergeometric telescoping. Fields Inst. Comm. 14:1997;179-210.
19. Paule P., Strehl V. Symbolic summation - some recent developments. Fleischer J., Grabmeier J., Hehl F., Küchlin W. Computer Algebra in Science and Engineering - Algorithms, Systems, and Applications, 1995;138-162 World Scientific, Singapore.
20. Petkovšek M. Hypergeometric solutions of linear recurrences with polynomial coefficients. J. Symb. Comput. 14:1992;243-264.
21. Riese A. A generalization of Gosper's algorithm to bibasic hypergeometric summation. Electr. J. Comb. 3:1996;#R19.
22. Singh U. B. Some summation formula for multibasic hypergeometric series. Glas. Mat. 31:1996;263-268.
23. Stanley R. P. Enumerative Combinatorics I. 1986;Wadsworth & Brooks/Cole, Monterey, CA.
24. Wilf H. S., Zeilberger D. An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities. Invent. Math. 108:1992;575-633.
25. Zeilberger D. A fast algorithm for proving terminating hypergeometric identities. Discrete Math. 80:1990a;207-211.
26. D. Zeilberger, q.
27. Zeilberger D. The method of creative telescoping. J. Symb. Comput. 11:1991;195-204.