When does Zeilberger's algorithm succeed?

DOI10.1016/S0196-8858(02)00504-3zbMath1030.33011MaRDI QIDQ1408263

Sergey A. Abramov

Publication date: 15 September 2003

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

Zeilberger's algorithm

Mathematics Subject Classification ID

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

Related Items (20)

Telescoping in the context of symbolic summation in Maple ⋮ Deconstructing the Zeilberger algorithm^† ⋮ Constructing minimal telescopers for rational functions in three discrete variables ⋮ Some open problems related to creative telescoping ⋮ Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ Telescopers for differential forms with one parameter ⋮ Computer proofs of a new family of harmonic number identities. ⋮ Residues and telescopers for bivariate rational functions ⋮ Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences ⋮ Parameterized telescoping proves algebraic independence of sums ⋮ How to Generate All Possible Rational Wilf-Zeilberger Pairs? ⋮ On the existence of telescopers for mixed hypergeometric terms ⋮ Applicability of the \(q\)-analogue of Zeilberger's algorithm ⋮ Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms ⋮ Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms ⋮ On the existence of telescopers for rational functions in three variables ⋮ Integral Representation and Algorithms for Closed Form Summation ⋮ Creative Telescoping for Holonomic Functions ⋮ Linear differential equations as a data structure ⋮ On the order of the recurrence produced by the method of creative telescoping

Cites Work

• Rational normal forms and minimal decompositions of hypergeometric terms
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• The method of creative telescoping
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• On the structure of multivariate hypergeometric terms.
• Rational summation and Gosper-Petkovšek representation
• Minimal decomposition of indefinite hypergeometric sums
• Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: When does Zeilberger's algorithm succeed?