How to Generate All Possible Rational Wilf-Zeilberger Pairs?
From MaRDI portal
Publication:3296309
DOI10.1007/978-1-4939-9051-1_2zbMath1443.05016arXiv1802.09798OpenAlexW2789227215MaRDI QIDQ3296309
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
Exact enumeration problems, generating functions (05A15) Combinatorial identities, bijective combinatorics (05A19)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the summability of bivariate rational functions
- Residues and telescopers for bivariate rational functions
- On the existence of telescopers for mixed hypergeometric terms
- Hypergeometric evaluation identities and supercongruences
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Generators of some Ramanujan formulas
- A \(q\)-extension of a partial differential equation and the Hahn polynomials
- On WZ-pairs which prove Ramanujan series
- Generating function identities for \(\zeta (2n+2)\), \(\zeta (2n+3)\) via the WZ method
- Ramanujan-type supercongruences
- When does Zeilberger's algorithm succeed?
- A \(q\)-analogue of the (J.2) supercongruence of van Hamme
- On the nature of the generating series of walks in the quarter plane
- A \(q\)-analogue of a Ramanujan-type supercongruence involving central binomial coefficients
- Markov's transformation of series and the WZ method
- On the structure of multivariate hypergeometric terms.
- Some binomial series obtained by the WZ-method
- The Markov-WZ method
- Symbolic integration I: Transcendental functions
- Finding identities with the WZ method
- Faster and faster convergent series for \(\zeta(3)\)
- Super congruences and Euler numbers
- Products and sums divisible by central binomial coefficients
- The extended monodromy group and Liouvillian first integrals
- An algorithm for deciding the summability of bivariate rational functions
- Hypergeometric identities for 10 extended Ramanujan-type series
- A \(q\)-analogue of the Bailey-Borwein-Bradley identity
- A refinement of a congruence result by van Hamme and Mortenson
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- The \(q\)-Markov-WZ method
- Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences
- WZ-Proofs of “Divergent” Ramanujan-Type Series
- Proof of Ira Gessel's lattice path conjecture
- Ramanujan's Series for 1/π: A Survey
- Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
- GAUSS SUMMATION AND RAMANUJAN-TYPE SERIES FOR 1/π
- Experimental Determination of Apéry-like Identities for ς(2n + 2)
- More Ramanujan-type formulae for $ 1/\pi^2$
- A $p$-adic supercongruence conjecture of van Hamme
- Simultaneous generation for zeta values by the Markov-WZ method
- Rational function certification of multisum/integral/“𝑞” identities
- Ramanujan-type formulae for 1/π: q-analogues
- On $q$-analogues of some series for $\pi $ and $\pi ^2$
- q-Analogues of two Ramanujan-type formulas for 1/π
- Proof of George Andrews’s and David Robbins’s q -TSPP conjecture
- The complete generating function for Gessel walks is algebraic
- Arithmetic hypergeometric series
- CONJECTURES INVOLVING ARITHMETICAL SEQUENCES
This page was built for publication: How to Generate All Possible Rational Wilf-Zeilberger Pairs?
