HypergeometricSum

HypergeometricSum: a Maple package for finding closed forms of indefinite and definite sums of hypergeometric type.