A new elementary algorithm for proving \(q\)-hypergeometric identities (Q1401154)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new elementary algorithm for proving \(q\)-hypergeometric identities |
scientific article |
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
