@inproceedings{RISC413,
author = {G. Bodnar and B. Kaltenbacher and P. Pau and J. Schicho},
title = {{Exact real computation in computer algebra}},
booktitle = {{Symbolic and Numerical Scientific Computing -- Proc. of SNSC'01}},
language = {english},
series = {LNCS},
volume = {2630},
pages = {279--292},
publisher = {Springer},
isbn_issn = {ISBN: 3-540-40554-2},
year = {2003},
editor = {U. Langer and F. Winkler},
refereed = {yes},
length = {14}
}