Solving parameterized linear difference equations in terms of indefinite nested sums and products.

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. [ABSTRACT FROM AUTHOR]