Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms

DOI10.1016/j.jsc.2018.06.003zbMath1423.33025arXiv1507.04840OpenAlexW2807666295WikidataQ123328161 ScholiaQ123328161MaRDI QIDQ1733306

Christoph Koutschan, Shaoshi Chen

Publication date: 21 March 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.04840

zbMATH Keywords

propernessD-finite functionholonomic functionhypergeometric termOre-Sato theoremWilf-Zeilberger conjecture

Mathematics Subject Classification ID

(q)-gamma functions, (q)-beta functions and integrals (33D05)

Related Items (2)

Telescopers for differential forms with one parameter ⋮ Efficient \(q\)-integer linear decomposition of multivariate polynomials

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the existence of telescopers for mixed hypergeometric terms
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• D-finite power series
• The diagonal of a D-finite power series is D-finite
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• An approach to the zero recognition problem by Buchberger algorithm
• On the holonomic systems of linear differential equations. II
• When does Zeilberger's algorithm succeed?
• On the structure of multivariate hypergeometric terms.
• \(k\)-free recurrences of double hypergeometric terms
• Symbolic integration I: Transcendental functions
• The extended monodromy group and Liouvillian first integrals
• Applicability of the \(q\)-analogue of Zeilberger's algorithm
• Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
• Rational Functions Certify Combinatorial Identities
• General hypergeometric systems of equations and series of hypergeometric type
• Multivariate Hypergeometric Terms
• On the structure of compatible rational functions
• Towards computerized proofs of identities

This page was built for publication: Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms