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 ((Lecture Notes in Computer Science))