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

DOI10.1016/J.DISC.2006.03.026zbMATH Open1102.33017OpenAlexW3012429445MaRDI QIDQ2498005FDOQ2498005

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

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

zbMATH Keywords

Algorithmidentitiesterminating hypergeometric series

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

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

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)