is a Mathematica package for proving hypergeometric multi-sum identities. It uses an efficient generalization of Sister Celine’s technique to find a homogeneous polynomial recurrence relation for the sum.
The package has been developed by Kurt Wegschaider, a former member of the RISC Combinatorics group
A detailed description of the package and of the method (a generalization of Sister Celine’s technique) together with several examples is contained in the diploma thesis
- K. Wegschaider, Computer Generated Proofs of Binomial Multi-Sum Identities, Diploma Thesis, RISC, J. Kepler University, Linz, May 1997. [ps]
A more recent version of the implementation with its latest enhancements is described by means of an example in the paper
- R. Lyons, P. Paule, and A. Riese, A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers, Appl. Algebra Engrg. Comm. Comput., 13 (2002), 327-333. [pdf] [original via SpringerLink]