A MATHEMATICA VERSION OF ZEILBERGERS ALGORITHM FOR PROVING BINOMIAL COEFFICIENT IDENTITIES

Authors
PAULE P SCHORN M
Citation
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
Journal title
Journal of symbolic computation → ACNP
ISSN journal
07477171
Volume
20
Issue
5-6
Year of publication
1995
Pages
673 - 698
Database
ISI
SICI code
0747-7171(1995)20:5-6<673:AMVOZA>2.0.ZU;2-5
Abstract
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