A Mathematica Version of Zeilberger's Al
✍
Peter Paule; Markus Schorn
📂
Article
📅
1995
🏛
Elsevier Science
🌐
English
⚖ 665 KB
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