Proving hypergeometric identities by numerical verifications
type: Item
instance of: scholarly article
title: Proving hypergeometric identities by numerical verifications
zbMATH Open document ID: 1173.33304
author: Qiang-Hui Guo
author: Qing-Hu Hou
author: Lisa Hui Sun
published in: Journal of Symbolic Computation
publication date: 2009-01-30T00:00:00Z
review text: Proper and \(q\)-proper hypergeometric identities can be certified by checking a finite number \(n\) of initial values. The authors give a new method to estimate \(n\). The given examples show that the new estimates are smaller than the previous results.
reviewed by: Hans Benker
Mathematics Subject Classification ID: 33C20
Mathematics Subject Classification ID: 33F10
zbMATH DE Number: 5500872
zbMATH Keywords: hypergeometric identities
zbMATH Keywords: numerical verification
zbMATH Keywords: degree
zbMATH Keywords: height
Wikidata QID: Q112882107
describes a project that uses: NewZeil.m
describes a project that uses: ZEILBERGER
describes a project that uses: qZEILBERGER
MaRDI profile type: Publication
full work available at URL: j.jsc.2008.05.003
OpenAlex ID: W2087998665
cites work: Q4146776
cites work: Some generalized hypergeometric polynomials
cites work: Q4828543
cites work: On Zeilberger's algorithm and its \(q\)-analogue
cites work: Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
cites work: Hypergeometric solutions of linear recurrences with polynomial coefficients
cites work: Q4875364
cites work: A two-line algorithm for proving terminating hypergeometric identities
cites work: A two-line algorithm for proving \(q\)-hypergeometric identities
cites work: All binomial identities are verifiable
cites work: Sister Celine's technique and its generalizations
cites work: A new elementary algorithm for proving \(q\)-hypergeometric identities
cites work: An improvement of the two-line algorithm for proving \(q\)-hypergeometric identities.
DOI: 10.1016/J.JSC.2008.05.003
description: scientific article; zbMATH DE number 5500872