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: