Carsten Schneider, Manuel Kauers,
"Symbolic Summation with Radical Expressions"
, in Christopher W. Brown: Proceedings of ISSAC'07, Seite(n) 219--226, 2007, ISBN: 978-1-59593-743-8
Symbolic Summation with Radical Expressions
Sprache des Titels:
Proceedings of ISSAC'07
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