Zeilberger's Algorithm

An algorithm which finds a polynomial recurrence for terminating hypergeometric identities of the form

 sum_(k)(n; k)(product_(i=1)^(A)(a_in+a_i^'k+a_i^(''))!)/(product_(i=1)^(B)(b_in+b_i^'k+b_i^(''))!)z^k=C(product_(i=1)^(A^_)(a^__in+a^__i^')!)/(product_(i=1)^(B^_)(b^__in+b^__i^')!)x^n,

where (n; k) is a binomial coefficient, a_i, a_i^', a^__i, b_i, b_i^', b^__i are constant integers and a_i^(''), a^__i^', b_i^(''), b^__i^', C, x, and z are complex numbers (Zeilberger 1990). The method was called creative telescoping by van der Poorten (1979), and led to the development of the amazing machinery of Wilf-Zeilberger pairs.

The also exists a q-analog of the algorithm, called the q-Zeilberger algorithm.

See also

Binomial Series, Binomial Sums, Gosper's Algorithm, Hypergeometric Identity, q-Zeilberger Algorithm, Sister Celine's Method, Wilf-Zeilberger Pair

Explore with Wolfram|Alpha


Graham, R. L.; Knuth, D. E.; and Patashnik, O. Concrete Mathematics: A Foundation for Computer Science, 2nd ed. Reading, MA: Addison-Wesley, 1994.Koepf, W. "Algorithms for m-fold Hypergeometric Summation." J. Symb. Comput. 20, 399-417, 1995.Koepf, W. "Zeilberger's Algorithm." Ch. 7 in Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities. Braunschweig, Germany: Vieweg, pp. 93-123, 1998.Krattenthaler, C. "HYP and HYPQ: The Mathematica Package HYP.", P. "The Paule/Schorn Implementation of Gosper's and Zeilberger's Algorithms.", P. and Riese, A. "A Mathematica q-Analogue of Zeilberger's Algorithm Based on an Algebraically Motivated Approach to q-Hypergeometric Telescoping." In Special Functions, q-Series and Related Topics, Fields Institute Communications 14, 179-210, 1997.Paule, P. and Schorn, M. "A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities." J. Symb. Comput. 20, 673-698, 1995.Petkovšek, M.; Wilf, H. S.; and Zeilberger, D. "Zeilberger's Algorithm." Ch. 6 in A=B. Wellesley, MA: A K Peters, pp. 101-119, 1996., A. "A Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation." Electronic J. Combinatorics 1, No. 1, R19, 1-16, 1996. der Poorten, A. "A Proof that Euler Missed... Apéry's Proof of the Irrationality of zeta(3)." Math. Intel. 1, 196-203, 1979.Wegschaider, K. Computer Generated Proofs of Binomial Multi-Sum Identities. Diploma Thesis, RISC. Linz, Austria: J. Kepler University, May 1997., D. "Doron Zeilberger's Maple Packages and Programs: EKHAD.", D. "A Fast Algorithm for Proving Terminating Hypergeometric Series Identities." Discrete Math. 80, 207-211, 1990.Zeilberger, D. "A Holonomic Systems Approach to Special Function Identities." J. Comput. Appl. Math. 32, 321-368, 1990.Zeilberger, D. "The Method of Creative Telescoping." J. Symb. Comput. 11, 195-204, 1991.

Referenced on Wolfram|Alpha

Zeilberger's Algorithm

Cite this as:

Weisstein, Eric W. "Zeilberger's Algorithm." From MathWorld--A Wolfram Web Resource.

Subject classifications