Identities of nonterminating series by Zeilberger's algorithm
arXiv:math/9805010
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ütz' summation formula in the non-terminating case this is illustrated.
12 pages