HYPERG: a Maple package for manipulating hypergeometric series.
Bruno Gauthier · Séminaire Lotharingien de Combinatoire [electronic only] · 1999
This article describes a Maple package for the manipulation of generalized hypergeometric series. This package provides tools for automatic proofs of identities. 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 ([email protected]) or on the web site (http://www-igm.univ-mlv.fr/~gauthier/HYPERG.html). Introduction HYPERG is a Maple package for the manipulation and identification of hypergeometric series and identities. It provides several tools for: • 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. In the following sections, we describe Maple basic objects, principal features and applications. ∗[email protected], Universite Marne-la-Vallee, Institut Gaspard Monge, Cite Descartes, 5 bd Descartes, Champs sur marne, 77454 Marne-la-Vallee Cedex 2, France.