## OP-SF WEB

### Extract from OP-SF NET

Topic #12 ------------ OP-SF NET 6.1 ------------ January 15, 1999
~~~~~~~~~~~~~
From: Tom Koornwinder (thk@wins.uva.nl)
Subject: HYPERG: a Maple package to manipulate hypergeometric series
The following information is taken from the web site:
http://www-igm.univ-mlv.fr/~gauthier/HYPERG.html
HYPERG is a maple package for the manipulation of hypergeometric series
denoted by the usual symbol F(a_1,a_2,...; b_1,b_2,...; x)$. 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.
Many features of this package are due to C. Krattenthaler and his
Mathematica package HYP.
Many thanks to C. Krattenthaler, P. Paule, M. Petkovsek and
D. Zeilberger for their helpful comments.
The package provides several tools (about sixty functions) for:
o transforming sums into hypergeometric notation;
o manipulating factorial expressions;
o applying summation and transformation formulas;
o applying contiguous relations;
o computing formal limits of hypergeometric expressions;
o finding polynomial, rational and hypergeometric solutions
of recurrences;
o using the Gosper and Zeilberger algorithms.
For the moment, this program only works under Maple V Release 2
and Release 3.
Bruno Gauthier
Bruno.Gauthier@univ-mlv.fr
http://www-igm.univ-mlv.fr/~gauthier/
http://www-igm.univ-mlv.fr/~gauthier/HYPERG.html
Universite Marne La Vallee
Institut Gaspard Monge
Cite Descartes,
5, Bd Descartes, Champs sur Marne,
77454 Marne La Vallee, Cedex 2,
France
The Web site gives instructions for downloading the program for Ms-Dos,
Windows [3.x, 95] and Unix-Linux system.

Back to Home Page of

SIAM AG on Orthogonal
Polynomials and Special Functions

Page maintained by
Martin Muldoon