Proving hypergeometric identities by numerical verifications (Q999090)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving hypergeometric identities by numerical verifications |
scientific article |
Statements
Proving hypergeometric identities by numerical verifications (English)
0 references
30 January 2009
0 references
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.
0 references
hypergeometric identities
0 references
numerical verification
0 references
degree
0 references
height
0 references
0 references
