Identities of nonterminating series by Zeilberger's algorithm
Abstract
Description
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
12 pages