Symbolic summation with radical expressions
Manuel Kauers, Carsten Schneider · 2007
An extension of Karr’s summation 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 by a list of identities found with an implementation of our techniques.