# Software for proving sum identites

Summations can really get complicated - esp. when you have convoluted n-fold summations with all kinds of different indices.

My question: Is there some software (or add-on) with which you can find and prove (complicated) summation identities?

-
Implementations of Gosper's algorithm and related work (e.g. Zeilberger's algorithm and Petkovšek's algorithm). –  Peter Taylor Jan 25 '11 at 11:04
Mathematica does it reasonably well. If you derived one sum from the other, then evaluate the sums for a large amount of values should give you enough confidence that the 2 are equal. –  Chao Xu Jan 25 '11 at 11:04