**MultiSum**: A Mathematica package for proving hypergeometric multi-sum identities =================================================================================== This package is part of the |PACKAGE_NAME| bundle. See :ref:`Download`. Short Description ----------------- ``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 sum. The package has been developed by Kurt Wegschaider, a former member of the `RISC Combinatorics group`_. Authors ------- * Kurt Wegschaider * `Axel Riese`_ Accompanying Files ------------------ * `README `_ Literature ---------- 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] `_ .. _RISC Combinatorics group: http://www.risc.jku.at/research/combinat .. _Axel Riese: https://risc.jku.at/m/axel-riese/