A new Sigma approach to multi-summation
The author presents a general algorithmic framework that allows not only to deal with summation problems over summands being rational expressions in indefinite nested sums and products but also over \(\partial\)-finite and holonomic summand expressions that are given by a linear recurrence. For this approach a new Package Sigma for the computer algebra system Mathematica is presented.
scientific article