Solving parameterized linear difference equations in terms of indefinite nested sums and products
Carsten Schneider · The Journal of Difference Equations and Applications · 2005
The described algorithms enable one to find all solutions of parameterized linear difference equations within ΠΣ-fields, a very general class of difference fields. These algorithms can be applied to a very general class of multisums, for instance, for proving identities and simplifying expressions.