TY - DATA AU - Hutchison,David AU - Hertling,Peter AU - Hoffmann,Christoph M. AU - Kanade,Takeo AU - Kittler,Josef AU - Kleinberg,Jon M. AU - Luther,Wolfram AU - Mattern,Friedemann AU - Mitchell,John C. AU - Naor,Moni AU - Nierstrasz,Oscar AU - Pandu Rangan,C. AU - Revol,Nathalie AU - Steffen,Bernhard AU - Sudan,Madhu AU - Terzopoulos,Demetri AU - Tygar,Doug AU - Vardi,Moshe Y. AU - Weikum,Gerhard ED - SpringerLink (Online service) TI - Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers T2 - Lecture Notes in Computer Science, SN - 9783540855217 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Algebra KW - Data processing KW - Computational complexity KW - Computer Science KW - Computer software KW - Electronic data processing KW - Algorithm Analysis and Problem Complexity KW - Arithmetic and Logic Structures KW - Discrete Mathematics in Computer Science KW - Numeric Computing KW - Symbolic and Algebraic Manipulation UR - http://dx.doi.org/10.1007/978-3-540-85521-7 ER -