Binomial identities -- combinatorial and algorithmic aspects
From MaRDI portal
Publication:1344624
DOI10.1016/0012-365X(94)00118-3zbMath0823.33003OpenAlexW2009743816MaRDI QIDQ1344624
Publication date: 22 October 1995
Published in: Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0012-365x(94)00118-3
Exact enumeration problems, generating functions (05A15) Combinatorial identities, bijective combinatorics (05A19) Binomial coefficients; factorials; (q)-identities (11B65) Generalized hypergeometric series, ({}_pF_q) (33C20)
Related Items
Congruences involving \(g_n(x)=\sum\limits_{k=0}^n\dbinom{n}{k}^2\dbinom{2k}{k}x^k\), Multiple binomial sums, Combinatorial proofs of symmetry formulas for the generalized hypergeometric series, A simple proof of Schmidt's conjecture, Congruences for Franel numbers, Generalization of a Hadamard type inequality for permanents, New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences, Telescoping method and congruences for double sums, New analogues of Clausen's identities arising from the theory of modular forms, Divisibility results on Franel numbers and related polynomials, The Euler and Springer numbers as moment sequences, Divisibility properties of a class of binomial sums, Counting derangements and Nash equilibria, A telescoping method for double summations, Connections between \(p=x^2+3y^2\) and Franel numbers, Unnamed Item, On an identity with binomial coefficients, Euler related binomial sums, Creative Telescoping for Holonomic Functions, Linear differential equations as a data structure, Proof of two conjectures of Sun on congruences for Franel numbers, MultInt, a MAPLE package for multiple integration by the WZ method
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some recurrences for sums of powers of binomial coefficients
- A 21st century proof of Dougall's hypergeometric sum identity
- Short proofs of Saalschütz's and Dixon's theorems
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- A fast algorithm for proving terminating hypergeometric identities
- A very short proof of Dixon's theorem
- Common origin of cubic binomial identities: A generalization of Surányi's proof on Le Jen Shoo's formula
- A bijective proof of the q-Saalschütz theorem
- A \(q\)-Foata proof of the \(q\)-Saalschütz identity
- A combinatorial proof of the multivariable Lagrange inversion formula
- Some Hermite polynomial identities and their combinatorics
- A holonomic systems approach to special functions identities
- A one-line proof of the Habsieger-Zeilberger \(G_ 2\) constant term identity
- The method of creative telescoping
- A short proof of a `strange' combinatorial identity conjectured by Gosper
- A WZ-style proof of Jacobi polynomials' generating function
- Identities in combinatorics. I: On sorting two ordered sets
- A combinational proof of the Mehler formula
- A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- Recurrences and Legendre transform
- Recurrences for sums of powers of binomial coefficients
- Combinatorial problems of commutation and rearrangements
- Polynomes de Jacobi, Interpretation Combinatoire et Fonction Generatrice
- Binomial Identities and Hypergeometric Series
- A Short Proof of a Generating Function for Jacobi Polynomials
- A Generalization of the Pfaff-Saalschütz Theorem
- Rational function certification of multisum/integral/“𝑞” identities
- Applications of Basic Hypergeometric Functions
- Decision procedure for indefinite hypergeometric summation
- Short Proofs of Two Hypergeometric Summation Formulas of Karlsson
- Generalized Legendre polynomials.
- The Generating Function of Jacobi Polynomials