Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
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
up vote 2 down vote accepted

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.