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)

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)