When does Zeilberger's algorithm succeed?
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2151211
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- A two-line algorithm for proving terminating hypergeometric identities
- scientific article; zbMATH DE number 1504574
Cites work
- scientific article; zbMATH DE number 3511549 (Why is no real title available?)
- scientific article; zbMATH DE number 1254266 (Why is no real title available?)
- scientific article; zbMATH DE number 718142 (Why is no real title available?)
- scientific article; zbMATH DE number 1504574 (Why is no real title available?)
- scientific article; zbMATH DE number 2151211 (Why is no real title available?)
- scientific article; zbMATH DE number 872231 (Why is no real title available?)
- scientific article; zbMATH DE number 3414311 (Why is no real title available?)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Minimal decomposition of indefinite hypergeometric sums
- On the structure of multivariate hypergeometric terms.
- Rational normal forms and minimal decompositions of hypergeometric terms
- Rational summation and Gosper-Petkovšek representation
- The method of creative telescoping
- Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
Cited in
(21)- Residues and telescopers for bivariate rational functions
- Creative telescoping for holonomic functions
- 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
- How to generate all possible rational Wilf-Zeilberger pairs?
- Computer proofs of a new family of harmonic number identities.
- Integral Representation and Algorithms for Closed Form Summation
- scientific article; zbMATH DE number 2151211 (Why is no real title available?)
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- On the existence of telescopers for mixed hypergeometric terms
- Constructing minimal telescopers for rational functions in three discrete variables
- On the existence of telescopers for rational functions in three variables
- Parameterized telescoping proves algebraic independence of sums
- Telescopers for differential forms with one parameter
- Telescoping in the context of symbolic summation in Maple
- Linear differential equations as a data structure
- Deconstructing the Zeilberger algorithm†
- Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- Some open problems related to creative telescoping
- On the order of the recurrence produced by the method of creative telescoping
This page was built for publication: When does Zeilberger's algorithm succeed?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1408263)
