HYPERG is a Maple package
(about sixty functions)
devoted to symbolic computation on hypergeometric series.
It also provides tools for automatic proofs of identities, but
they are just tools: every step in a series of manipulations has to be
controlled by the user.
The goal of this package is to make the algorithms in this area
better known, and to help you enter the wonderful world
of hypergeometric series.
This package is available for Maple V Release 2, 3 for any Ms-Dos,
Windows [3.x, 95] and Unix-Linux system.