When does Zeilberger's algorithm succeed?

Advances in Applied Mathematics

Volumn 30, Issue 3, 2003, Pages 424-441

  Abramov, S A ^a  

^a DORODNICYN COMPUTING CENTER   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0038625414     PISSN: 01968858     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0196-8858(02)00504-3     Document Type: Article

References (18)

1. S. Abramov, Rational component of the solutions of a first-order linear recurrence relation with a rational right-hand side, USSR Comput. Math. Phys. 14 (1975) 1035-1039, Transl. from Zh. Vychisl. Mat. Mat. Fyz.
2. S. Abramov, Indefinite sums of rational functions, in: Proc. Int. Symp. on Symbolic and Algebraic Computation, ACM, 1995, pp. 303-308.
3. S. Abramov, Applicability of Zeilberger's algorithm to hypergeometric terms, in: Proc. Int. Symp. on Symbolic and Algebraic Computation, ACM, 2002, pp. 1-7.
4. S. Abramov, H. Le, Applicability of Zeilberger's algorithm to rational functions, in: Proc. Formal Power Series and Algebraic Combinatorics, in: Lecture Notes in Comput. Sci., Springer-Verlag, 2000, pp. 91-102.
5. S. Abramov, M. Petkovšek, Optimal decomposition of indefinite hypergeometric sums, in: Proc. Int. Symp. on Symbolic and Algebraic Computation, ACM, 2001, pp. 7-14.
6. S. Abramov, M. Petkovšek, Proof of a conjecture of Wilf and Zeilberger, Preprint series, 39, University of Ljubljana, 2001.
7. S. Abramov, M. Petkovšek, Rational normal forms and minimal decompositions of hypergeometric terms, J. Symbolic Comput. 33 (2002) 521-543.
8. S. Abramov, M. Petkovšek, On the structure of multivariate terms, Adv. Appl. Math. (2002), in print.
9. H. Gould, Combinatorial Identities, Morgantown, 1972.
10. R. Graham, D. Knuth, O. Patashnik, Concrete Mathematics, 2nd Edition, Addison-Wesley, Reading, MA, 1994.
11. O. Ore, Sur la forme de fonctions hypergeometriques de plusiers variables, J. Math. Pure Appl. 9 (4) (1930) 311-327.
12. M. Petkovšek, Hypergeometric solutions of linear recurrences with polynomial coefficients, J. Symbolic Comput. 14 (1992) 243-264.
13. M. Petkovšek, H. Wilf, D. Zeilberger, A = B, Peters, 1996.
14. R. Pirastu, V. Strehl, Rational summation and Gosper-Petkovšek representation, J. Symbolic Comput. 20 (1995) 617-635.
15. M. Sato, Theory of prehomogeneous vector spaces (algebraic part), Nagoya Math. J. 120 (1990) 1-34.
16. P. Verbaeten, The automatic construction of pure recurrence relations, in: Proc. EUROCAL'74, ACM-SIGSAM Bulletin, ACM, 1995, pp. 96-98.
17. H. Wilf, D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities, Invent. Math. 108 (1992) 575-633.
18. D. Zeilberger, The method of creative telescoping, J. Symbolic Comput. 11 (1991) 195-204.