Symbolic summation with radical expressions

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. Categories and Subject Descriptors

• Type: Conference
• Year: 2007
• Where: ISSAC
• Authors: Manuel Kauers, Carsten Schneider
• Keywords: ISSAC 2007, Karr’s Summation Algorithm, Radical Expressions, Symbolic Sums