Rational function certification of multisum/integral/“𝑞” identities
DOI10.1090/S0273-0979-1992-00297-5zbMath0759.05007arXivmath/9207218MaRDI QIDQ4016745
Doron Zeilberger, Herbert S. Wilf
Publication date: 16 January 1993
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9207218
identities; recurrence relation; Laguerre polynomials; special functions; hypergeometric; holonomic; \(q\)-hypergeometric identities; \(q\)-sums
05A10: Factorials, binomial coefficients, combinatorial functions
05A19: Combinatorial identities, bijective combinatorics
05A30: (q)-calculus and related topics
11B65: Binomial coefficients; factorials; (q)-identities
33C45: Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.)
39A10: Additive difference equations
33C05: Classical hypergeometric functions, ({}_2F_1)
33E99: Other special functions
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The method of differentiating under the integral sign
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- A fast algorithm for proving terminating hypergeometric identities
- A proof of the Bieberbach conjecture
- A holonomic systems approach to special functions identities
- Generalized Euler integrals and \(A\)-hypergeometric functions
- The method of creative telescoping
- A generalization of Selberg’s beta integral
- Rational Functions Certify Combinatorial Identities
- Algorithms for the Solution of Systems of Linear Diophantine Equations
- A q-Beta Integral Associated with $BC_1 $
- Macdonald’s constant term conjectures for exceptional root systems
- Towards computerized proofs of identities
- Some generalized hypergeometric polynomials