Séminaire Lotharingien de Combinatoire, B24b (1990), 28
[Formerly: Publ. I.R.M.A. Strasbourg, 1993, 361/S-24, p.
Three Recitations on Holonomic Systems and
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: