Identities in search of identity

DOI10.1016/0304-3975(93)90301-9zbMath0783.05007OpenAlexW2028410576MaRDI QIDQ688676

Doron Zeilberger

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

zbMATH Keywords

identities

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Generalized hypergeometric series, ({}_pF_q) (33C20)

Related Items (5)

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

• DEtools

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

This page was built for publication: Identities in search of identity