Title: On Zeilberger's algorithm and its q-analogue: a rigorous description
Author: Tom H. Koornwinder
Email: T.H.Koornwinder@uva.nl
Download: pdf
Pages: 22
Publication history:
Abstract: Gosper's and Zeilberger's algorithms for summation of terminating hypergeometric series as well as the q-versions of these algorithms are described in a very rigorous way. The paper is a companion to Maple V procedures implementing these algorithms. It concludes with the help information for these procedures.
Author: Tom H. Koornwinder
Email: T.H.Koornwinder@uva.nl
Download:
History:
Abstract: Maple V procedures for summation of terminating hypergeometric and q-hypergeometric series by Zeilberger's algorithm. These are highly rewritten versions of D. Zeilberger's Maple original procedures written around 1990.
Remark: More powerful implementations of Zeilberger's algorithm have been written by Koepf and by Zeilberger in Maple and by Paule in Mathematica. See links to their software.