✦ LIBER ✦
A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities
✍ Scribed by Peter Paule; Markus Schorn
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 665 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
✦ Synopsis
Based on Gosper's algorithm for indefinite hypergeometric summation, Zeilberger's algorithm for proving binomial coefficient identities constitutes a recent breakthrough in symbolic computation. Mathematica implementations of these algorithms are described. Nontrivial examples are given in order to illustrate the usage of these packages which are available by e-mail request to the first-named author.