A new elementary algorithm for proving \(q\)-hypergeometric identities (Q1401154)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A new elementary algorithm for proving \(q\)-hypergeometric identities |
scientific article; zbMATH DE number 1965170
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new elementary algorithm for proving \(q\)-hypergeometric identities |
scientific article; zbMATH DE number 1965170 |
Statements
A new elementary algorithm for proving \(q\)-hypergeometric identities (English)
0 references
17 August 2003
0 references
The author gives a fast elementary algorithm to get a small number \(n_1\) for an admissible \(q\)-proper-hypergeometric identity \(\sum_k F(n,k)= G(n)\), \(n\geq n_0\). Some examples are given.
0 references
\(q\)-hypergeometric identities
0 references
computer proofs
0 references
elimination
0 references
