RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC3028,
    author = {Manuel Kauers and Carsten Schneider},
    title = {{Symbolic Summation with Radical Expressions}},
    language = {english},
    abstract = {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. },
    number = {2007-02},
    address = {Altenbergerstrasse 69},
    year = {2007},
    month = {January},
    institution = {SFB F13},
    length = {8}