Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers - Hertling, Peter; Hoffmann, Christoph M.; Luther, Wolfram; Revol, Nathalie; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Computer software; Electronic data processing; Computational complexity; Algebra -- Data processing; Computer Science; Arithmetic and Logic Structures; Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science; Symbolic and Algebraic Manipulation; Numeric Computing