Proving hypergeometric identities by numerical verifications

DOI10.1016/J.JSC.2008.05.003MaRDI QIDQ999090zbMATH OpenOpenAlexWikidataFDO

Authors Qiang-Hui Guo, Qing-Hu Hou, Lisa Hui Sun

Publication date 30 January 2009

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2008.05.003

zbMATH Keywords

heightdegreenumerical verificationhypergeometric identities

Mathematics Subject Classification ID

Generalized hypergeometric series, ({}_pF_q) (33C20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Recommendations

• An improvement of the two-line algorithm for proving \(q\)-hypergeometric identities.
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Rational Functions Certify Combinatorial Identities
• A two-line algorithm for proving \(q\)-hypergeometric identities
• A two-line algorithm for proving terminating hypergeometric identities

Cites work

• scientific article; zbMATH DE number 3577263 (Why is no real title available?)
• scientific article; zbMATH DE number 2117212 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• A new elementary algorithm for proving \(q\)-hypergeometric identities
• A two-line algorithm for proving \(q\)-hypergeometric identities
• A two-line algorithm for proving terminating hypergeometric identities
• All binomial identities are verifiable
• An improvement of the two-line algorithm for proving \(q\)-hypergeometric identities.
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• On Zeilberger's algorithm and its \(q\)-analogue
• Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
• Sister Celine's technique and its generalizations
• Some generalized hypergeometric polynomials

Cited in

(3)

• Creative telescoping for holonomic functions
• Rational function certification of multisum/integral/“𝑞” identities
• On the length of integers in telescopers for proper hypergeometric terms

Describes a project that uses

Uses Software

• qZEILBERGER
• ZEILBERGER
• NewZeil.m

This page was built for publication: Proving hypergeometric identities by numerical verifications

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