Copyright © 1990 Published by Elsevier B.V.
Communication
A fast algorithm for proving terminating hypergeometric identities
Communicated by D. Foata.
Abstract
An algorithm for proving terminating hypergeometric identities, and thus binomial coefficients identities, is presented. It is based upon Gosper's algorithm for indefinite hypergeometric summation. A MAPLE program implementing this algorithm succeeded in proving almost all known identities. Hitherto the proof of such identities was an exclusively human endeavor.






E-mail Article
Add to my Quick Links

Cited By in Scopus (0)

{




