Rational Functions Certify Combinatorial Identities
From MaRDI portal
Publication:3470469
DOI10.2307/1990986zbMath0695.05004OpenAlexW4232561996MaRDI QIDQ3470469
Herbert S. Wilf, Doron Zeilberger
Publication date: 1990
Full work available at URL: https://doi.org/10.2307/1990986
Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19)
Related Items
Convolution identities involving the central binomial coefficients and Catalan numbers ⋮ A probabilistic proof of Gauss' \(_ 2F_ 1\) identity ⋮ Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec ⋮ Riordan arrays and combinatorial sums ⋮ The death of proof? Semi-rigorous mathematics? You've got to be kidding! ⋮ Generators of some Ramanujan formulas ⋮ Current trends in asymptotics: Some problems and some solutions ⋮ Dougall's \(_5F_4\) sum and the WZ algorithm ⋮ Some open problems related to creative telescoping ⋮ Pfaff's method. II: Diverse applications ⋮ Rational function certification of multisum/integral/“𝑞” identities ⋮ \(q\)-hypergeometric solutions of \(q\)-difference equations ⋮ More hypergeometric identities related to Ramanujan-type series ⋮ Poincaré series and Eichler integrals ⋮ Further WZ-based methods for proving and generalizing Ramanujan's series ⋮ Unnamed Item ⋮ Rademacher-type formulas for restricted partition and overpartition functions ⋮ A symmetric generalization of an identity of Andrews and Yee ⋮ A family of WZ pairs and \(q\)-identities ⋮ A new Ramanujan-like series for \(1/\pi ^{2}\) ⋮ On some divisibility properties of binomial sums ⋮ Towards counting paths in lattice path models with filter restrictions and long steps ⋮ Hypergeometric identities for 10 extended Ramanujan-type series ⋮ Series evaluation of a quartic integral ⋮ Telescopers for differential forms with one parameter ⋮ Automatic generation of hypergeometric identities by the beta integral method. ⋮ Inversion techniques and combinatorial identities: Balanced hypergeometric series. ⋮ Linear maps preserving orbits ⋮ Residues and telescopers for bivariate rational functions ⋮ A fast algorithm for proving terminating hypergeometric identities ⋮ Unnamed Item ⋮ A holonomic systems approach to special functions identities ⋮ On the divisibility properties of certain binomial sums ⋮ Variations on a hypergeometric theme ⋮ Karhunen-Loève expansions for the \(m\)-th order detrended Brownian motion ⋮ The method of creative telescoping ⋮ A short proof of a `strange' combinatorial identity conjectured by Gosper ⋮ Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms ⋮ Finding more divisibility properties of binomial sums via the WZ method ⋮ On differentially algebraic generating series for walks in the quarter plane ⋮ On some supercongruences concerning truncated hypergeometric series ⋮ Identities in search of identity ⋮ A short, elementary, and easy, WZ proof of the Askey-Gasper inequality that was used by de Branges in his proof of the Bieberbach conjecture ⋮ On the interplay between hypergeometric series, Fourier-Legendre expansions and Euler sums ⋮ Sums of powers of Catalan triangle numbers ⋮ Towards computerized proofs of identities ⋮ Markov's transformation of series and the WZ method ⋮ Moments of combinatorial and Catalan numbers ⋮ A fast algorithm for proving terminating hypergeometric identities. (Reprint) ⋮ On WZ-pairs which prove Ramanujan series ⋮ Bilateral Bailey lemma and Rogers-Ramanujan identities ⋮ The \(q\)-WZ method for infinite series ⋮ Rogers-Ramanujan computer searches ⋮ Shimura's vector-valued modular forms, weight changing operators, and Laplacians ⋮ Some summation rules related to the Riordan arrays ⋮ Mahler measure and the WZ algorithm ⋮ Pfaff's method. I: The Mills-Robbins-Rumsey determinant. ⋮ Accelerating Dougall’s $_5F_4$-sum and infinite series involving $\pi $ ⋮ Contiguous Relations and Creative Telescoping ⋮ On the structure of multivariate hypergeometric terms. ⋮ An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities ⋮ Some binomial series obtained by the WZ-method ⋮ Alternating convolutions of Catalan numbers ⋮ Plane partitions. V: The TSSCPP conjecture ⋮ Orthogonal polynomial expansions for the Riemann xi function in the Hermite, Meixner--Pollaczek, and continuous Hahn bases
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A 21st century proof of Dougall's hypergeometric sum identity
- A fast algorithm for proving terminating hypergeometric identities
- A very short proof of Dixon's theorem
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Applications of q-Lagrange Inversion to Basic Hypergeometric Series
- Strange Evaluations of Hypergeometric Series
- Applications of Basic Hypergeometric Functions
- Decision procedure for indefinite hypergeometric summation
- Short Proofs of Two Hypergeometric Summation Formulas of Karlsson
