Identities in search of identity
From MaRDI portal
Publication:688676
DOI10.1016/0304-3975(93)90301-9zbMath0783.05007OpenAlexW2028410576MaRDI QIDQ688676
Publication date: 10 March 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90301-9
Combinatorial identities, bijective combinatorics (05A19) Generalized hypergeometric series, ({}_pF_q) (33C20)
Related Items
An identity of Andrews, multiple integrals, and very-well-poised hypergeometric series, Human and automated approaches for finite trigonometric sums, Unnamed Item, Unnamed Item, The indexed theorem
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- A 21st century proof of Dougall's hypergeometric sum identity
- The method of differentiating under the integral sign
- A fast algorithm for proving terminating hypergeometric identities
- A purely verification proof of the first Rogers-Ramanujan identity
- A very short proof of Dixon's theorem
- A proof of the Bieberbach conjecture
- A new symmetry for Biedenharn's G-functions and classical hypergeometric series
- A character sum evaluation and Gaussian hypergeometric series
- A q-analog of the Gauss summation theorem for hypergeometric series in U(n)
- Sister Celine's technique and its generalizations
- 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 proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- Algebraic languages and polyominoes enumeration
- A generalization of Selberg’s beta integral
- Rational Functions Certify Combinatorial Identities
- Summation Theorems for Hypergeometric Series in $U(n)$
- Some Conjectures for Root Systems
- Macdonald’s constant term conjectures for exceptional root systems
- Short Proofs of Two Hypergeometric Summation Formulas of Karlsson
- On Epstein's Zeta-function.
- Towards computerized proofs of identities
- Three recitations on holonomic systems and hypergeometric series
- Functional equations for data structures
