Rational function certification of multisum/integral/“𝑞” identities

DOI10.1090/S0273-0979-1992-00297-5zbMATH Open0759.05007arXivmath/9207218OpenAlexW1976761604MaRDI QIDQ4016745FDOQ4016745

Authors: Herbert S. Wilf, Doron Zeilberger 

Publication date: 16 January 1993

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Abstract: The method of rational function certification for proving terminating hypergeometric identities is extended from single sums or integrals to multi-integral/sums and ``$q$ integral/sums.

Full work available at URL: https://arxiv.org/abs/math/9207218

Recommendations

• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Rational Functions Certify Combinatorial Identities
• Algorithms for \(m\)-fold hypergeometric summation
• Proving hypergeometric identities by numerical verifications
• Towards computerized proofs of identities

zbMATH Keywords

Laguerre polynomialsrecurrence relationspecial functionsidentitieshypergeometricholonomic\(q\)-hypergeometric identities\(q\)-sums

Mathematics Subject Classification ID

Classical hypergeometric functions, ({}_2F_1) (33C05) Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) (q)-calculus and related topics (05A30) Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Additive difference equations (39A10) Binomial coefficients; factorials; (q)-identities (11B65) Other special functions (33E99)

Cites Work

• A proof of the Bieberbach conjecture
• Title not available (Why is that?)
• A holonomic systems approach to special functions identities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized Euler integrals and \(A\)-hypergeometric functions
• Title not available (Why is that?)
• Rational Functions Certify Combinatorial Identities
• Title not available (Why is that?)
• The method of differentiating under the integral sign
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• The method of creative telescoping
• A fast algorithm for proving terminating hypergeometric identities
• A generalization of Selberg’s beta integral
• Some generalized hypergeometric polynomials
• Towards computerized proofs of identities
• Title not available (Why is that?)
• Macdonald’s constant term conjectures for exceptional root systems
• Algorithms for the Solution of Systems of Linear Diophantine Equations
• Title not available (Why is that?)
• A q-Beta Integral Associated with $BC_1 $

Cited In (15)

• Some variations of a ‘divergent’ Ramanujan-type q-supercongruence
• How to generate all possible rational Wilf-Zeilberger pairs?
• A \(q\)-analogue of the (J.2) supercongruence of van Hamme
• A q-analogue of a curious supercongruence of Guillera and Zudilin
• Proof of conjectures of Sun on double basic hypergeometric sums
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Computer-assisted proofs of special function identities related to Poisson integrals
• On the existence of telescopers for mixed hypergeometric terms
• Telescopers for differential forms with one parameter
• A characterization of inverse relations.
• Binomial identities -- combinatorial and algorithmic aspects
• A \(q\)-analogue of the (L.2) supercongruence of van Hamme
• Linear differential equations as a data structure
• \(q\)-analogues of some supercongruences related to Euler numbers
• Rational Functions Certify Combinatorial Identities

This page was built for publication: Rational function certification of multisum/integral/“𝑞” identities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4016745)