@InProceedings{hertling_et_al:DagSemProc.06021.2,
author = {Hertling, Peter and Hoffmann, Christoph M. and Luther, Wolfram and Revol, Nathalie},
title = {{06021 Summary – Reliable Implementation of Real Number Algorithms: Theory and Practice}},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6021},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.2},
URN = {urn:nbn:de:0030-drops-7117},
doi = {10.4230/DagSemProc.06021.2},
annote = {Keywords: Real number computability, real number algorithms, reliable computing, algorithms with result verification, interval arithmetic, geometric computing, robustness, solid modeling}
}