A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping Problem

We present an algebraic framework to represent indefinite nested sums over hyper geometric expressions in difference rings. In order to accomplish this task, parts of Karr's difference field theory have been extended to a ring theory in which also the alternating sign can be expressed. The unde...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing S. 26 - 33
1. Verfasser: Schneider, Carsten
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.09.2014
Schlagworte:
creative telescoping
d'Alembertian expressions
Educational institutions
Machinery
Poles and towers
Polynomials
Reduced instruction set computing
roots of unity
Scientific computing
symbolic summation
telescoping
ISBN:9781479984473, 1479984477
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We present an algebraic framework to represent indefinite nested sums over hyper geometric expressions in difference rings. In order to accomplish this task, parts of Karr's difference field theory have been extended to a ring theory in which also the alternating sign can be expressed. The underlying machinery relies on algorithms that compute all solutions of a given parameterized telescoping equation. As a consequence, we can solve the telescoping and creative telescoping problem in such difference rings.
ISBN:9781479984473
1479984477
DOI:10.1109/SYNASC.2014.12