@inproceedings{RISC3090,author = {M. Kauers and C. Schneider},
title = {{Symbolic Summation with Radical Expressions}},
booktitle = {{Proceedings of ISSAC'07}},
language = {english},
abstract = {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.},
pages = {219--226},
isbn_issn = {isbn 978-1-59593-743-8},
year = {2007},
editor = {Christopher W. Brown},
refereed = {yes},
length = {8},
url = {https://doi.org/10.1145/1277548.1277579}
}