A fast algorithm for proving terminating hypergeometric identities. (Reprint)

DOI10.1016/J.DISC.2006.03.026MaRDI QIDQ2498005zbMATH OpenOpenAlexFDO

Authors Doron Zeilberger

Publication date 4 August 2006

Published in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.disc.2006.03.026

zbMATH Keywords

Algorithmidentitiesterminating hypergeometric series

Mathematics Subject Classification ID

Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Review text

This article is a reprint in the 35th special Anniversary Issue of Discrete Mathematics. \textit{D. Zeilberger}'s original article appeared in [Discrete Math. 80, 207--211 (1990; Zbl 0701.05001)]. This article was the corner stone in the development of algorithmic summation leading WZ theory [\textit{H. S. Wilf, D. Zeilberger}, Rational functions certify combinatorial identities. J. Am. Math. Soc. 3, 147--158 (1990; Zbl 0695.05004)], several text books ([\textit{M. Petkovsek, H. S. Wilf, D. Zeilberger}, \(A=B\). Wellesley, MA: A. K. Peters (1996; Zbl 0848.05002)], [\textit{W. Koepf}, Hypergeometric summation. An algorithmic approach to summation and special function identities. Advanced Lectures in Mathematics. Wiesbaden: Vieweg (1998; Zbl 0909.33001)]). In 1998 Herbert Wilf and Doron Zeilberger were awarded the Leroy P. Steele Prize of the AMS for this development.

Recommendations

• A fast algorithm for proving terminating hypergeometric identities
• scientific article; zbMATH DE number 434742
• What is \dots a Wilf-Zeilberger pair?
• Finding identities with the WZ method
• Algorithms for m-fold hypergeometric summation

Cites work

• A holonomic systems approach to special functions identities
• A proof of Andrews' \(q\)-Dyson conjecture
• A proof that Euler missed. Apéry's proof of the irrationality of (3). An informal report
• An Indefinite Bibasic Summation Formula and Some Quadratic, Cubic and Quartic Summation and Transformation Formulas
• Combinatorial problems of commutation and rearrangements
• Decision procedure for indefinite hypergeometric summation
• scientific article; zbMATH DE number 3150170 (Why is no real title available?)
• scientific article; zbMATH DE number 3786948 (Why is no real title available?)
• scientific article; zbMATH DE number 3058859 (Why is no real title available?)
• Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
• Ramanujan and hypergeometric and basic hypergeometric series
• Rational Functions Certify Combinatorial Identities
• Strange Evaluations of Hypergeometric Series

Cited in

(12)

• Some questions concerning computer-generated proofs of a binomial double- sum identity
• Binomial identities -- combinatorial and algorithmic aspects
• A two-line algorithm for proving terminating hypergeometric identities
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• scientific article; zbMATH DE number 434742 (Why is no real title available?)
• Computer proofs for polynomial identities in arbitrary many variables
• Karhunen-Loève expansions for the \(m\)-th order detrended Brownian motion
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• Towards computerized proofs of identities
• A 21st century proof of Dougall's hypergeometric sum identity
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• A fast algorithm for proving terminating hypergeometric identities

Describes a project that uses

Uses Software

• Maple

This page was built for publication: A fast algorithm for proving terminating hypergeometric identities. (Reprint)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2498005)