Carsten Schneider, Manuel Kauers,
"Symbolic Summation with Radical Expressions"
, Serie SFB F013 Reports, Nummer 2007-2, SFB F13, Altenbergerstrasse 69, 4040 Linz, AUSTRIA, 1-2007
Original Titel:
Symbolic Summation with Radical Expressions
Sprache des Titels:
Englisch
Original Kurzfassung:
An extension of Karr's algorithm is presented by which symbolic sums involving radical expressions can be simplified. We discuss the construction of appropriate difference fields as well as algorithms for solving difference equations in these fields. The paper is concluded with a list of identities found by an implementation of our techniques.