LEADER 04010nam  22008055  450 
001 9910484675703321
005 20230222020456.0
010   $a3-540-85521-1
024 7 $a10.1007/978-3-540-85521-7
035   $a(CKB)1000000000490918
035   $a(SSID)ssj0000319803
035   $a(PQKBManifestationID)11937753
035   $a(PQKBTitleCode)TC0000319803
035   $a(PQKBWorkID)10338234
035   $a(PQKB)10399181
035   $a(DE-He213)978-3-540-85521-7
035   $a(MiAaPQ)EBC3063072
035   $a(MiAaPQ)EBC6426114
035   $a(PPN)12794916X
035   $a(EXLCZ)991000000000490918
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aReliable Implementation of Real Number Algorithms: Theory and Practice $eInternational Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /$fedited by Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (XI, 239 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5045
300   $aIncludes index.
311   $a3-540-85520-3 
320   $aIncludes bibliographical references and author index.
327   $aValidated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP -- Interval Subroutine Library Mission -- Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations -- Real Algebraic Numbers: Complexity Analysis and Experimentation -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format -- Robustness and Randomness -- Topological Neighborhoods for Spline Curves: Practice & Theory -- Homotopy Conditions for Tolerant Geometric Queries -- Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling -- Theory of Real Computation According to EGC.
330   $aThis book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006. The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5045
606   $aComputer arithmetic and logic units
606   $aComputer programming
606   $aComputer science
606   $aAlgorithms
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aArithmetic and Logic Structures
606   $aProgramming Techniques
606   $aTheory of Computation
606   $aAlgorithms
606   $aDiscrete Mathematics in Computer Science
606   $aSymbolic and Algebraic Manipulation
615  0$aComputer arithmetic and logic units.
615  0$aComputer programming.
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615 14$aArithmetic and Logic Structures.
615 24$aProgramming Techniques.
615 24$aTheory of Computation.
615 24$aAlgorithms.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aSymbolic and Algebraic Manipulation.
676   $a004
702   $aHertling$b Peter$f1965-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a9910484675703321
996   $aReliable Implementation of Real Number Algorithms: Theory and Practice$9774468
997   $aUNINA