Summation identities for representation of certain real numbers (Q884212)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Summation identities for representation of certain real numbers |
scientific article |
Statements
Summation identities for representation of certain real numbers (English)
0 references
13 June 2007
0 references
The summation identities are used for the representation of real numbers of the form \(xu^m\pm yv^n\) for appropriately chosen real numbers \(x\), \(y\), \(u\), \(v\) and nonnegative integers \(m\) and \(n\). The proofs of the identities based on the computer-generated proofs using Zeilberger's algorithm.
0 references
Zeilberger algorithm
0 references
Fibonacci sequence
0 references
hypergeometric summation
0 references
