Identities of nonterminating series by Zeilberger's algorithm

1998/05/04 by Tom H. Koornwinder
Mathematics · #math.CA #msc:33C20 #msc:68Q40

paper · pdf

published as J. Comput. Appl. Math. 99 (1998), 449-461 · 12 pages

arxiv created 1998/05/04 · arxiv updated 2009/11/30

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.

Related

• Nonterminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• Algorithms for the indefinite and definite summation
• A generalization of Kummer's identity
• The q-WZ Method for Infinite Series
• A symmetric formula for hypergeometric series