Peter Hertling Christoph M. Hoffmann Wolfram Luther Nathalie Revol Reliable Implementation of Real Number Algorithms Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 06021 2006 db/conf/dagstuhl/P6021.html Dagstuhl Seminar Proceedings