How to generate all possible rational Wilf-Zeilberger pairs?

DOI10.1007/978-1-4939-9051-1_2zbMATH Open1443.05016arXiv1802.09798OpenAlexW2789227215MaRDI QIDQ3296309FDOQ3296309

Authors: Shaoshi Chen 

Publication date: 7 July 2020

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

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.

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

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

zbMATH Keywords

propernessholonomic functionhypergeometric termWilf-Zeilberger conjecture

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• On the existence of telescopers for rational functions in three variables

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)