Telescoping in the context of symbolic summation in Maple

Journal of Symbolic Computation

Volumn 38, Issue 4, 2004, Pages 1303-1326

  Abramov, S A ^a   Carette, J J ^b   Geddes, K O ^c   Le, H Q ^c  

^a DORODNICYN COMPUTING CENTER   (Russian Federation)

^b MCMASTER UNIVERSITY   (Canada)

^c UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Closed form; Hypergeometric terms; Maple; Software design; Symbolic summation; Telescoping sums; Zeilberger's algorithm

Indexed keywords

EID: 4344588703     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2003.08.010     Document Type: Article

References (45)

1. Abramov S.A. Rational component of the solutions of a first-order linear recurrence relation with a rational right-hand side Transl. from Zh. vychisl. mat. mat. fyz. USSR Comput. Math. Phys. 14 1975 1035-1039
2. Abramov S.A. Indefinite sums of rational functions In: Proc. Int. Symp. on Symbolic and Algebraic Computation, ISSAC 1995 Montreal, Canada. ACM Press 1995 303-308
3. Abramov S.A. Applicability of Zeilberger's algorithm to hypergeometric terms Proc. Int. Symp. on Symbolic and Algebraic Computation, ISSAC 2002 Lille, France. ACM Press 2002 1-7
4. Abramov S.A. When does Zeilberger's algorithm succeed? Adv. Appl. Math. 30 2002 424-441
5. Abramov S.A. Hoeij M.V. Integration of solutions of linear functional equations Integral Transform. Spec. Funct. 8 1-2 1999 3-12
6. Abramov S.A. Le H.Q. Applicability of Zeilberger's algorithm to rational functions Proc. Formal Power Series and Algebraic Combinatorics, FPSAC 2000 Moscow, Russia. Springer-Verlag LNCS 2000 91-102
7. Abramov S.A. Le H.Q. A lower bound for the order of telescopers for a hypergeometric term Proc. Formal Power Series and Algebraic Combinatorics, FPSAC 2002 Sydney, Australia, CD 2002
8. Abramov S.A. Petkovšek M. Minimal decomposition of indefinite hypergeometric sums Proc. Int. Symp. on Symbolic and Algebraic Computation, ISSAC 2001 London, Canada. ACM Press 2001 7-14
9. Abramov S.A. Petkovšek M. Canonical representations of hypergeometric terms Proc. Formal Power Series and Algebraic Combinatorics, FPSAC 2001 Arizona, USA 2001 1-10
10. Abramov S.A. Petkovšek M. Proof of a conjecture of Wilf and Zeilberger Preprint Series of the Institute of Mathematics, Physics and Mechanics vol. 39 2001 no. 748, Ljubljana
11. Abramov S.A. Petkovšek M. Rational normal forms and minimal decompositions of hypergeometric terms J. Symbolic Comput. 33 5 2002 521-543
12. Abramov S.A. Zima E.V. D'Alembertian solutions of inhomogeneous linear equations (differential, difference, and some other) Proc. Int. Symp. on Symbolic and Algebraic Computation, ISSAC 1996 Zürich, Switzerland. ACM Press 1996 232-240
13. Abramov S.A. Zima E.V. Minimal completely factorable annihilators Proc. Int. Symp. on Symbolic and Algebraic Computation, ISSAC 1997 Maui, Hawaii, USA. ACM Press 1997 290-297
14. Abramov S.A. Geddes K.O. Le H.Q. 2001. HypergeometricSum: a Maple package for finding closed forms of indefinite and definite sums of hypergeometric type. Technical Report CS-2001-24, School of Computer Science, University of Waterloo, Ontario, Canada
15. Abramov S.A. Geddes K.O. Le H.Q. Computer algebra library for the construction of the minimal telescopers In: Cohen A.M. Gao X. Takayama N. (Eds.) International Congress of Mathematical Software 2002 319-329 World Scientific
16. Abramov S.A. Carette J.J. Geddes K.O. Le H.Q. 2002. Symbolic summation in Maple. Technical Report CS-2002-32, School of Computer Science, University of Waterloo, Ontario, Canada
17. Bauer A. Petkovšek M. Multibasic and mixed hypergeometric Gosper type algorithm J. Symbolic Comput. 28 1999 711-736
18. Böing H. Koepf W. Algorithms for q-hypergeometric summation in computer algebra J. Symbolic Comput. 11 1999 1-23
19. Chyzak F. An extension of Zeilberger's fast algorithm to general holonomic functions Dis. Math. 217 1-3 2000 115-134
20. Chyzak F. Salvy B. Non-commutative elimination in Ore algebras proves multivariate identities J. Symbolic Comput. 26 2 1998 187-227
21. Gauthier B. 1999. HYPERG, Maple package, user's reference manual Version 1.0 http://www-igm.univ-mlv.fr/~gauthier/HYPERG.html
22. Gosper R.W. Jr. Decision procedure for indefinite hypergeometric summation Proc. Natl. Acad. Sci. USA 75 1977 40-42
23. Gould H.W. 1972 Combinatorial Identities. Morgantown, W.Va
24. Hoeij M.V. Finite singularities and hypergeometric solutions of linear recurrence equations J. Pure Appl. Algebra 139 1999 109-131
25. Koepf W. 1998. Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities. Vieweg
26. Koornwinder T.H. On Zeilberger's algorithm and its q-analogue J. Comput. Appl. Math. 48 1993 91-111
27. Krattenthaler C. HYP and HYPQ-Mathematica packages for the manipulation of binomial sums and hypergeometric series, respectively q-binomial sums and basic hypergeometric series J. Symbolic Comput. 20 1995 737-744
28. Lafon J.C. Summation in finite terms In: Buchberger B. Collins G.E. Loos R. (Eds.) Computer Algebra: Symbolic and Algebraic Computation 1983 71-77 Springer, Verlag Wien, New York
29. Le H.Q. A direct algorithm to construct Zeilberger's recurrences for rational functions Proc. Formal Power Series and Algebraic Combinatorics, FPSAC 2001 Arizona, U.S.A 2001 303-312
30. Le H.Q. A direct algorithm to construct the minimal Z-pairs for rational functions Adv. Appl. Math. 30 2003 137-159
31. Monagan M.B. Geddes K.O. Heal K.M. Labahn G. Vorkoetter S.M. McCarron J. DeMarco P. Maple 8 introductory programming guide 2002 Waterloo Maple Inc. Waterloo, Ontario, Canada
32. Paule P. Greatest factorial factorization and symbolic summation J. Symbolic Comput. 20 1995 235-268
33. Paule P. Schorn M. A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities J. Symbolic Comput. 20 1995 673-698
34. Petkovšek M. Hypergeometric solutions of linear recurrences with polynomial coefficients J. Symbolic Comput. 14 1992 243-264
35. Petkovšek M. Wilf H. Zeilberger D. A=B 1996 In: A.K. Peters (Ed.) Wellesley, Massachusetts
36. Pirastu R. Strehl V. Rational summation and Gosper-Petkovšek representation J. Symbolic Comput. 20 1995 617-635
37. Prudnikov A.P. Brychkov Yu. Marichev O. Integrals and Series, volume 3: More Special Functions 1990 Gordon and Breach Science Publishers
38. Riese A. 1995. A Mathematica q-analogue of Zeilberger's algorithm for proving q-hypergeometric identities. Master's Thesis, Research Institute for Symbolic Computation, J. Kepler University, Linz, Austria
39. Riese A. 1997. Contributions to symbolic q-hypergeometric summation. Ph.D. Thesis, Research Institute for Symbolic Computation, J. Kepler University, Linz, Austria
40. Riordan J. Combinatorial Identities 1968 John Wiley & Sons
41. Roach K. Hypergeometric function representations Proc. Int. Symp. on Symbolic and Algebraic Computation ISSAC 1996, Zürich, Switzerland 1996 301-308 ACM Press
42. Schneider C. 2001. Symbolic summation in difference fields. Ph.D. Thesis, Research Institute for Symbolic Computation, J. Kepler University, Linz, Austria
43. Wegschaider K. 1997. Computer generated proofs of binomial multi-sum identities. Master's Thesis, Research Institute for Symbolic Computation, J. Kepler University, Linz, Austria
44. Wilf H. Zeilberger D. An algorithmic proof theory for hypergeometric (ordinary and q) multisum/integral identities Invent. Math. 108 1992 575-633
45. Zeilberger D. 1991 The method of creative telescoping. J. Symbolic Comput. 11 195-204