Refined telescoping algorithms in RΠΣ-extensions to reduce the degrees of the denominators

by   Carsten Schneider, et al.
Johannes Kepler University Linz

We present a general framework in the setting of difference ring extensions that enables one to find improved representations of indefinite nested sums such that the arising denominators within the summands have reduced degrees. The underlying (parameterized) telescoping algorithms can be executed in RΠΣ-ring extensions that are built over general ΠΣ-fields. An important application of this toolbox is the simplification of d'Alembertian and Liouvillian solutions coming from recurrence relations where the denominators of the arising sums do not factor nicely.


page 1

page 2

page 3

page 4


Solving linear difference equations with coefficients in rings with idempotent representations

We introduce a general reduction strategy that enables one to search for...

Summation Theory II: Characterizations of RΠΣ^*-extensions and algorithmic aspects

Recently, RΠΣ^*-extensions have been introduced which extend Karr's ΠΣ^*...

Refined Holonomic Summation Algorithms in Particle Physics

An improved multi-summation approach is introduced and discussed that en...

On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in Π^*-field extensions

We present a complete algorithm that computes all hypergeometric solutio...

Representing (q--)hypergeometric products and mixed versions in difference rings

In recent years, Karr's difference field theory has been extended to the...

Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation

A general overview of the existing difference ring theory for symbolic s...

Zero-divisors of content algebras

In this article, we prove that in content extensions minimal primes exte...

Please sign up or login with your details

Forgot password? Click here to reset