Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol. 06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. In Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Volume 06021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
Abstract is missing.