Abstract

We extend Zeilberger's fast algorithm for definite hypergeometric summation to non-hypergeometric holonomic sequences. The algorithm generalizes to differential and q-cases as well. Its theoretical justification is based on a description by linear operators and on the theory of holonomy.

Citations

476	Concrete Mathematics - Graham, Knuth, et al. - 1989
153	An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities - Wilf, Zeilberger - 1992
149	A holonomic systems approach to special functions identities - Zeilberger - 1990
142	The method of creative telescoping - Zeilberger - 1991
133	A fast algorithm for proving terminating hypergeometric identities - Zeilberger - 1990
129	Jr.: Decision procedure for indefinite hypergeometric summation - Gosper - 1978
112	Free rings and their relations - Cohn - 1985
76	Non-commutative elimination in Ore algebras proves multivariate holonomic identities - Chyzak, Salvy - 1998
73	Rational solutions of linear differential and difference equations with polynomial coefficients. Akademiya Nauk SSSR - Abramov - 1989
73	Summation in finite terms - Karr - 1981
61	A Mathematica q–analogue of Zeilberger’s algorithm based on an algebraically motivated approach to q–hypergeometric telescoping, from: “Special functions, q–series and related topics - Paule, Riese - 1995
52	Rational functions certify combinatorial identities - Wilf, Zeilberger - 1990
51	Analytic continuation of generalized functions with respect to a parameter, Funk - Bernstein - 1972
51	A primer of algebraic D–modules - Coutinho - 1995
46	On polynomial solutions of linear operator equations - Abramov, Bronstein, et al. - 1995
43	Rational solutions of linear difference and q-difference equations with polynomial coefficients - Abramov - 1995
37	The method of differentiating under the integral sign - Almkvist, Zeilberger
33	An introduction to pseudo-linear algebra - Bronstein, Petkovˇsek - 1996
28	On Zeilberger’s algorithm and its q–analogue - Koornwinder - 1993
14	Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients”, Funct - Bernstein - 1971
7	A universal program to uncouple linear systems - Abramov, Zima - 1997
7	Rational function certification of multisum/integral/"q" identities - Wilf, Zeilberger - 1992
6	An algorithm for computing a companion block diagonal form for a system of linear differential equations - Barkatou - 1993
6	A generalization of Gosper's algorithm to bibasic hypergeometric summation. The Electronic - Riese - 1996
4	A curious binomial identity - Calkin - 1994
3	Rings of Differential Operators - ork, E - 1979
2	Syst`emes holonomes d"equations aux q-diff'erences - Sabbah - 1993