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?
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?