Binomial identities -- combinatorial and algorithmic aspects
From MaRDI portal
Publication:1344624
The problem of proving a particular binomial identity is taken as an opportunity to discuss various aspects of this field and to discuss various proof techniques in an exemplary way. In particular, the unifying role of the hypergeometric nature of binomial identities is underlined. This aspect is also basic for combinatorial models and techniques, developed during the last decade, and for the recent algorithmic proof procedures. Much of mathematics comes from looking at very simple examples from a more general perspective. Hypergeometric functions are a good example of this.
Recommendations
Cites work
- A 21st century proof of Dougall's hypergeometric sum identity
- A q-Foata proof of the q-Saalschütz identity
- A bijective proof of the q-Saalschütz theorem
- A combinational proof of the Mehler formula
- A combinatorial proof of the multivariable Lagrange inversion formula
- A fast algorithm for proving terminating hypergeometric identities
- A Generalization of the Pfaff-Saalschütz Theorem
- A holonomic systems approach to special functions identities
- A one-line proof of the Habsieger-Zeilberger \(G_ 2\) constant term identity
- A proof that Euler missed. Apéry's proof of the irrationality of (3). An informal report
- A short proof of a `strange' combinatorial identity conjectured by Gosper
- A Short Proof of a Generating Function for Jacobi Polynomials
- A very short proof of Dixon's theorem
- A WZ-style proof of Jacobi polynomials' generating function
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Applications of Basic Hypergeometric Functions
- Binomial Identities and Hypergeometric Series
- Combinatorial problems of commutation and rearrangements
- Common origin of cubic binomial identities: A generalization of Surányi's proof on Le Jen Shoo's formula
- Decision procedure for indefinite hypergeometric summation
- Generalized Legendre polynomials.
- scientific article; zbMATH DE number 3829916 (Why is no real title available?)
- scientific article; zbMATH DE number 434742 (Why is no real title available?)
- scientific article; zbMATH DE number 3847763 (Why is no real title available?)
- scientific article; zbMATH DE number 3849611 (Why is no real title available?)
- scientific article; zbMATH DE number 3877196 (Why is no real title available?)
- scientific article; zbMATH DE number 4002104 (Why is no real title available?)
- scientific article; zbMATH DE number 3715576 (Why is no real title available?)
- scientific article; zbMATH DE number 3717702 (Why is no real title available?)
- scientific article; zbMATH DE number 3755865 (Why is no real title available?)
- scientific article; zbMATH DE number 194009 (Why is no real title available?)
- scientific article; zbMATH DE number 3508512 (Why is no real title available?)
- scientific article; zbMATH DE number 218184 (Why is no real title available?)
- scientific article; zbMATH DE number 3016223 (Why is no real title available?)
- scientific article; zbMATH DE number 3303654 (Why is no real title available?)
- scientific article; zbMATH DE number 3308309 (Why is no real title available?)
- scientific article; zbMATH DE number 3365595 (Why is no real title available?)
- scientific article; zbMATH DE number 3380631 (Why is no real title available?)
- scientific article; zbMATH DE number 3415855 (Why is no real title available?)
- scientific article; zbMATH DE number 3083637 (Why is no real title available?)
- Identities in combinatorics. I: On sorting two ordered sets
- Polynomes de Jacobi, Interpretation Combinatoire et Fonction Generatrice
- Rational function certification of multisum/integral/“𝑞” identities
- Recurrences and Legendre transform
- Recurrences for sums of powers of binomial coefficients
- Short proofs of Saalschütz's and Dixon's theorems
- Short Proofs of Two Hypergeometric Summation Formulas of Karlsson
- Some Hermite polynomial identities and their combinatorics
- Some recurrences for sums of powers of binomial coefficients
- The Generating Function of Jacobi Polynomials
- The method of creative telescoping
Cited in
(30)- Combinatorial proofs of symmetry formulas for the generalized hypergeometric series
- MultInt, a MAPLE package for multiple integration by the WZ method
- The Euler and Springer numbers as moment sequences
- On an identity with binomial coefficients
- Euler related binomial sums
- Linear differential equations as a data structure
- Generalization of a Hadamard type inequality for permanents
- Divisibility properties of a class of binomial sums
- A telescoping method for double summations
- Proof of two conjectures of Sun on congruences for Franel numbers
- A simple proof of Schmidt's conjecture
- Congruences involving \(g_n(x)=\sum\limits_{k=0}^n\dbinom{n}{k}^2\dbinom{2k}{k}x^k\)
- Multiple binomial sums
- scientific article; zbMATH DE number 5360694 (Why is no real title available?)
- scientific article; zbMATH DE number 4068876 (Why is no real title available?)
- Congruences for Franel numbers
- Telescoping method and congruences for double sums
- Divisibility results on Franel numbers and related polynomials
- Counting derangements and Nash equilibria
- Creative telescoping for holonomic functions
- On related binomial harmonic identities
- Human and constructive proof of combinatorial identities: an example from Romik
- New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences
- New analogues of Clausen's identities arising from the theory of modular forms
- Some extensions of Chu's formulas and further combinatorial identities.
- Creative telescoping for hypergeometric double sums
- Proofs of ten conjectures from the OEIS
- Pólya's urn scheme and a small world of combinatorial identities. An opportunity for inquiry-based learning
- All binomial identities are orderable
- Connections between p=x^2+3y^2 and Franel numbers
This page was built for publication: Binomial identities -- combinatorial and algorithmic aspects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344624)
