MultiSum: A Mathematica package for proving hypergeometric multi-sum identities¶
This package is part of the RISCErgoSum bundle. See Download and Installation.
MultiSum 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
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