Séminaire Lotharingien de Combinatoire, B24b (1990), 28
pp.
[Formerly: Publ. I.R.M.A. Strasbourg, 1993, 361/S-24, p.
5-37.]
Doron Zeilberger
Three Recitations on Holonomic Systems and
Hypergeometric Series
Abstract.
These "recitations" are meant to be the "Schaum outlines" of
the theory developed by the author on computerizing proofs of
special function identities, in particular, the Gosper algorithm
and the WZ pair method. A complete bibliography is given, as well
as several classical examples.
The following versions are available: