Applicability of Zeilberger's algorithm to hypergeometric terms

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2002, Pages 1-7

  Abramov, S A ^a  

^a DORODNICYN COMPUTING CENTER   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FUNCTIONS; MATHEMATICAL OPERATORS; POLYNOMIALS; THEOREM PROVING;

LINEAR RECURRENCE; ZEILBERGERS ALGORITHM;

COMPUTATIONAL GEOMETRY;

EID: 0036042385     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/780506.780507     Document Type: Conference Paper

References (17)

1. Rational component of the solutions of a first-order linear recurrence relation with a rational right-hand side
2. Indefinite sums of rational functions
3. Applicability of Zeilberger's algorithm to rational functions
4. Canonical representations of hypergeometric terms
5. Optimal decomposition of indefinite hypergeometric sums
6. Proof of a conjecture of Wilf and Zeilberger
7. On the structure of multivariate terms
8. Sur le forme de fonctions hypergeometriques de plusiers variables
9. Hypergeometric solutions of linear recurrences with polynomial coefficients
10. Rational summation and Gosper-Petkovšek representation
11. Theory of prehomogeneous vector spaces (algebraic part)
12. The automatic construction of pure recurrence relations
13. An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities
14. The method of creative telescoping