Carsten Schneider, Manuel Kauers,
"Symbolic Summation with Radical Expressions"
, Serie SFB F13, Nummer 2007-02, SFB F13, Altenbergerstrasse 69, 4040 Linz, AUSTRIA, 1-2007
Symbolic Summation with Radical Expressions
Sprache des Titels:
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.