Three Recitations on Holonomic Systems and Hypergeometric Series
Séminaire lotharingien de combinatoire, Tome 24 (1990)
Citer cet article
Voir la notice de l'acte provenant de la source Séminaire Lotharingien de Combinatoire website
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.