@InProceedings{hertling_et_al:DagSemProc.06021.1, author = {Hertling, Peter and Hoffmann, Christoph M. and Luther, Wolfram and Revol, Nathalie}, title = {{06021 Abstracts Collection – Reliable Implementation of Real Number Algorithms: Theory and Practice}}, booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice}, pages = {1--18}, 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.1}, URN = {urn:nbn:de:0030-drops-7491}, doi = {10.4230/DagSemProc.06021.1}, annote = {Keywords: Real number algorithms, reliable implementation} }