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

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!