Identities of nonterminating series by Zeilberger's algorithm
Classical Analysis and ODEs
2007-05-23 v1
Abstract
This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalsch\"utz' summation formula in the non-terminating case this is illustrated.
Cite
@article{arxiv.math/9805010,
title = {Identities of nonterminating series by Zeilberger's algorithm},
author = {Tom H. Koornwinder},
journal= {arXiv preprint arXiv:math/9805010},
year = {2007}
}
Comments
12 pages