A maple program for proving hypergeometric identities
Doron Zeilberger · ACM SIGSAM Bulletin · 1991
In [Z1](see also [Z2],[WZ],[S],[Ci]) I gave an algorithm for proving any terminating definite hypergeometric identity, and more generally, for finding the linear recurrence satisfied by any definite hypergeometric sum[EQUATION]