How to generate all possible rational Wilf-Zeilberger pairs?

DOI10.1007/978-1-4939-9051-1_2MaRDI QIDQ3296309zbMATH OpenOpenAlexFDO

Authors Shaoshi Chen

Publication date 7 July 2020

Published in Algorithms and Complexity in Mathematics, Epistemology, and Science (Search for Journal in Brave)

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

zbMATH Keywords

propernessholonomic functionhypergeometric termWilf-Zeilberger conjecture

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Combinatorial identities, bijective combinatorics (05A19)

Abstract: A Wilf--Zeilberger pair $(F,G)$ in the discrete case satisfies the equation $F(n+1,k)-F(n,k)=G(n,k+1)-G(n,k)$. We present a structural description of all possible rational Wilf--Zeilberger pairs and their continuous and mixed analogues.

Recommendations

• What is \dots a Wilf-Zeilberger pair?
• A family of WZ pairs and \(q\)-identities
• Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
• scientific article; zbMATH DE number 7274301
• scientific article; zbMATH DE number 1545001

Cites work

• scientific article; zbMATH DE number 434841 (Why is no real title available?)
• 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 1066256 (Why is no real title available?)
• scientific article; zbMATH DE number 2039272 (Why is no real title available?)
• scientific article; zbMATH DE number 1380009 (Why is no real title available?)
• scientific article; zbMATH DE number 866549 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• scientific article; zbMATH DE number 3308309 (Why is no real title available?)
• A $p$-adic supercongruence conjecture of van Hamme
• A \(q\)-analogue of a Ramanujan-type supercongruence involving central binomial coefficients
• A \(q\)-analogue of the (J.2) supercongruence of van Hamme
• A \(q\)-analogue of the Bailey-Borwein-Bradley identity
• A \(q\)-extension of a partial differential equation and the Hahn polynomials
• A refinement of a congruence result by van Hamme and Mortenson
• An algorithm for deciding the summability of bivariate rational functions
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Applicability of the \(q\)-analogue of Zeilberger's algorithm
• Arithmetic hypergeometric series
• Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences
• CONJECTURES INVOLVING ARITHMETICAL SEQUENCES
• Experimental Determination of Apéry-like Identities for ς(2n + 2)
• Faster and faster convergent series for \(\zeta(3)\)
• Finding identities with the WZ method
• Gauss summation and Ramanujan-type series for \(1/\pi\)
• Generating function identities for \(\zeta (2n+2)\), \(\zeta (2n+3)\) via the WZ method
• Generators of some Ramanujan formulas
• Hypergeometric evaluation identities and supercongruences
• Hypergeometric identities for 10 extended Ramanujan-type series
• Markov's transformation of series and the WZ method
• More Ramanujan-type formulae for $ 1/\pi^2$
• Multiplicative decompositions of multivariate \(q\)-hypergeometric terms
• On WZ-pairs which prove Ramanujan series
• On \(q\)-analogues of some series for \(\pi \) and \(\pi ^2\)
• On the existence of telescopers for mixed hypergeometric terms
• On the nature of the generating series of walks in the quarter plane
• On the structure of multivariate hypergeometric terms.
• On the summability of bivariate rational functions
• Products and sums divisible by central binomial coefficients
• Proof of George Andrews's and David Robbins's \(q\)-TSPP conjecture
• Proof of Ira Gessel's lattice path conjecture
• Ramanujan's series for \(1/\pi \): a survey
• Ramanujan-type formulae for \(1/\pi: q\)-analogues
• Ramanujan-type supercongruences
• Rational function certification of multisum/integral/“𝑞” identities
• Residues and telescopers for bivariate rational functions
• Simultaneous generation for zeta values by the Markov-WZ method
• Some binomial series obtained by the WZ-method
• Super congruences and Euler numbers
• Symbolic integration I: Transcendental functions
• The Markov-WZ method
• The \(q\)-Markov-WZ method
• The complete generating function for Gessel walks is algebraic
• The extended monodromy group and Liouvillian first integrals
• Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
• WZ-proofs of ``divergent Ramanujan-type series
• What is \dots a Wilf-Zeilberger pair?
• When does Zeilberger's algorithm succeed?
• \(q\)-analogues of two Ramanujan-type formulas for \(1/\pi\)

Cited in

(2)

• On the existence of telescopers for rational functions in three variables
• WZ proofs of identities from Chu and Kılıç, with applications

Describes a project that uses

Uses Software

• MarkovWZ
• MarkovAZ
• ContMarkovWZ
• qTSPP
• CTcong.txt

This page was built for publication: How to generate all possible rational Wilf-Zeilberger pairs?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3296309)