Decision procedure for indefinite hypergeometric summation
AUTOR(ES)
Gosper, R. William
RESUMO
Given a summand an, we seek the “indefinite sum” S(n) determined (within an additive constant) by [Formula: see text] or, equivalently, by [Formula: see text] An algorithm is exhibited which, given an, finds those S(n) with the property [Formula: see text] With this algorithm, we can determine, for example, the three identities [Formula: see text] [Formula: see text] and [Formula: see text] and we can also conclude that [Formula: see text] is inexpressible as S(m) - S(0), for any S(n) satisfying Eq. 2.
ACESSO AO ARTIGO
http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=411178Documentos Relacionados
- The matrix-valued hypergeometric equation
- Hypergeometric generating functions for values of Dirichlet and other L functions
- Indefinite intertwining operators
- Classification of hypergeometric identities for π and other logarithms of algebraic numbers
- Binocular summation in humans: evidence for a hierarchic model.