Cover Image
Read Now

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers

This 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 rel...

Full description

Bibliographic Details
Other Authors: Hertling, Peter (Editor), Hoffmann, Christoph M. (Editor), Luther, Wolfram (Editor), Revol, Nathalie (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2008, 2008
Edition:1st ed. 2008
Series:Theoretical Computer Science and General Issues
Subjects:
Symbolic And Algebraic Manipulation
Programming Techniques
Computer Science
Computer Science / Mathematics
Computer Programming
Discrete Mathematics In Computer Science
Algorithms
Computer Arithmetic And Logic Units
Arithmetic And Logic Structures
Discrete Mathematics
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02848nmm a2200421 u 4500
001 EB000380902
003 EBX01000000000000000233954
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540855217 
100 1 |a Hertling, Peter  |e [editor] 
245 0 0 |a Reliable Implementation of Real Number Algorithms: Theory and Practice  |h Elektronische Ressource  |b International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers  |c edited by Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol 
250 |a 1st ed. 2008 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2008, 2008 
300 |a XI, 239 p  |b online resource 
505 0 |a Validated 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. 
653 |a Symbolic and Algebraic Manipulation 
653 |a Programming Techniques 
653 |a Computer science 
653 |a Computer science / Mathematics 
653 |a Computer programming 
653 |a Discrete Mathematics in Computer Science 
653 |a Algorithms 
653 |a Computer arithmetic and logic units 
653 |a Arithmetic and Logic Structures 
653 |a Discrete mathematics 
653 |a Theory of Computation 
700 1 |a Hoffmann, Christoph M.  |e [editor] 
700 1 |a Luther, Wolfram  |e [editor] 
700 1 |a Revol, Nathalie  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-540-85521-7 
856 4 0 |u https://doi.org/10.1007/978-3-540-85521-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.01513 
520 |a This 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 

Similar Items