P. Paule et M. Schorn, A MATHEMATICA VERSION OF ZEILBERGERS ALGORITHM FOR PROVING BINOMIAL COEFFICIENT IDENTITIES, Journal of symbolic computation, 20(5-6), 1995, pp. 673-698
Citations number
25
Categorie Soggetti
Mathematics,"Computer Sciences, Special Topics",Mathematics,"Computer Science Theory & Methods
Based on Gosper's algorithm for indefinite hypergeometric summation, Z
eilberger's algorithm for proving binomial coefficient identities cons
titutes a recent breakthrough in symbolic computation. Mathematica imp
lementations of these algorithms are described. Nontrivial examples ar
e given in order to illustrate the usage of these packages which are a
vailable by e-mail request to the first-named author. (C) 1995 Academi
c Press Limited