| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4651349 | Discrete Mathematics | 2006 | 4 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Discrete Mathematics and Combinatorics
Authors
Doron Zeilberger,