A two-line algorithm for proving \(q\)-hypergeometric identities

DOI10.1006/jmaa.1997.5131zbMath0903.33008OpenAlexW2040314425MaRDI QIDQ1378409

Lily Yen

Publication date: 9 December 1998

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jmaa.1997.5131

zbMATH Keywords

\(q\)-hypergeometric identities

Mathematics Subject Classification ID

(q)-calculus and related topics (05A30) Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15) Additive difference equations (39A10)

Related Items

The colored Jones function is \(q\)-holonomic, A new elementary algorithm for proving \(q\)-hypergeometric identities, Proving hypergeometric identities by numerical verifications, Creative Telescoping for Holonomic Functions

Cites Work

• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• On Zeilberger's algorithm and its \(q\)-analogue
• A high-tech proof of the Mills-Robbins-Rumsey determinant formula
• Some generalized hypergeometric polynomials
• Unnamed Item
• Unnamed Item
• Unnamed Item