Three Recitations on Holonomic Systems and Hypergeometric Series
Séminaire lotharingien de combinatoire, Tome 24 (1990)
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.
@article{SLC_1990_24_a1,
author = {Doron Zeilberger},
title = {Three {Recitations} on {Holonomic} {Systems} and {Hypergeometric} {Series}},
journal = {S\'eminaire lotharingien de combinatoire},
publisher = {mathdoc},
volume = {24},
year = {1990},
url = {http://geodesic.mathdoc.fr/item/SLC_1990_24_a1/}
}
Doron Zeilberger. Three Recitations on Holonomic Systems and Hypergeometric Series. Séminaire lotharingien de combinatoire, Tome 24 (1990). http://geodesic.mathdoc.fr/item/SLC_1990_24_a1/