Indefinite summation with unspecified summands Original Research Article

We provide a new algorithm for indefinite nested summation which is applicable to summands involving unspecified sequences image. More than that, we show how to extend Karrʹs algorithm to a general summation framework by which additional types of summand expressions can be handled. Our treatment of unspecified sequences can be seen as a first illustrative application of this approach.