HYPERG: a Maple package for manipulating hypergeometric series (Q1972217)

This article describes a Maple package for the manipulation of generalized hypergeometric series. This package provides tools for automatic proofs of identities; transforming sums into hypergeometric notation; manipulating factorial expressions; applying summation and transformation formulas; applying contiguous relations; computing formal limits of hypergeometric expressions; manipulating linear recurrence equations; finding polynomial, rational and hypergeometric solutions of recurrences; using the Gosper and Zeilberger algorithms. The aim of this article is to present the package and to give some results obtained with it. It can be obtained by either e-mail (Bruno.Gauthier\@univ-mlv.fr) or on the web site (\url{http://www-igm.univ-mlv.fr/gauthier/HYPERG.html}).