Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers - International seminar (2006 Jan : Dagstuhl Castle, Germany); Hertling, Peter, 1965-; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Algorithms -- Data processing -- Congresses; Numbers, Real -- Congresses; Computer Science; Algorithm Analysis and Problem Complexity; Arithmetic and Logic Structures; Discrete Mathematics in Computer Science; Numeric Computing; Symbolic and Algebraic Manipulation