Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers

Peter Hertling Christoph M. Hoffmann Wolfram Luther Nathalie Revol Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers Reliable Implementation of Real Number Algorithms 5045 2008 978-3-540-85520-0 Lecture Notes in Computer Science Springer db/conf/dagstuhl/real2008.html