3
$\begingroup$

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?

  • 1
    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.2011-01-25

1 Answers 1

2

Fabrizio Caruso implemented "Gosper's and Zeilberger's algorithm for proving and finding indefinite and definite hypergeometric summation identities", as a free and open source package for use with Maxima. You can get it here.