TY - DATA AU - Hertling,Peter AU - Hoffmann,Christoph M. AU - Luther,Wolfram AU - Revol,Nathalie 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 SN - 9783540855217 AV - QA241 H47 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Computer software KW - Electronic data processing KW - Computational complexity KW - Algebra KW - Data processing KW - Computer Science KW - Arithmetic and Logic Structures KW - Algorithm Analysis and Problem Complexity KW - Discrete Mathematics in Computer Science KW - Symbolic and Algebraic Manipulation KW - Numeric Computing UR - http://dx.doi.org/10.1007/978-3-540-85521-7 ER -