Reliable Implementation of Real Number Algorithms: Theory by Ekaterina Auer, Andreas Rauh (auth.), Peter Hertling,

By Ekaterina Auer, Andreas Rauh (auth.), Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.)

This ebook constitutes the revised papers of the foreign Seminar on trustworthy Implementation of genuine quantity Algorithms, held at Dagstuhl fortress, Germany, in January 2006.

The Seminar used to be inteded to stimulate an trade of principles among the several groups that care for the matter of trustworthy implementation of actual quantity algorithms. issues integrated formal proofs, software program libraries, structures and systems, in addition to computational geometry and sturdy modelling.

Show description

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

Best computational mathematicsematics books

Computational Electronics

Beginning with the best semiclassical ways and finishing with the outline of advanced totally quantum-mechanical equipment for quantum delivery research of cutting-edge units, Computational Electronics: Semiclassical and Quantum gadget Modeling and Simulation offers a entire evaluate of the fundamental strategies and techniques for successfully studying shipping in semiconductor units.

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

This ebook constitutes the revised papers of the overseas Seminar on trustworthy Implementation of genuine quantity Algorithms, held at Dagstuhl fort, Germany, in January 2006. The Seminar used to be inteded to stimulate an trade of principles among different groups that care for the matter of trustworthy implementation of actual quantity algorithms.

Geometry and topology for mesh generation

This ebook combines arithmetic (geometry and topology), laptop technology (algorithms), and engineering (mesh iteration) with the intention to clear up the conceptual and technical difficulties within the combining of components of combinatorial and numerical algorithms. The e-book develops tools from components which are amenable to blend and explains contemporary leap forward ideas to meshing that healthy into this classification.

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

Sample text

Interval arithmetic and extended interval arithmetic based on csets (BIAS) Fig. 1. A tentative hierarchical structure Level 0 – Basic Interval Arithmetic: Interval arithmetic including 1. Constructors, 2. Arithmetic operations, 3. Comparison operators, 4. Input/output, and 5. Elementary functions. F. Corliss et al. Level 0 should be consistent with a C++ interval arithmetic standard, such as that proposed by proposed by Br¨ onnimann, Melquiond, and Pion (BMP) [13], should a suitable standard be adopted.

Math. Software 25(1), 58–69 (1999) 37. : Testing COSY’s interval and Taylor model arithmetic. , Luther, W. ) EDBT 2004. LNCS, vol. 2992, pp. 91–105. Springer, Heidelberg (2004) 38. : Hardware support for interval arithmetic. Reliable Computing 12(3), 225–237 (2006) Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations Eva Dyllong University of Duisburg-Essen, Faculty of Engineering, Department of Computer Science, Lotharstrasse 65, D-47048 Duisburg, Germany Abstract.

Numerical Recipes in Fortran: The Art of Scientific Computing, 2nd edn. Cambridge University Press, Cambridge (1992); Also available for Fortran 90, C, and C++ 5. : Numerical Recipes in C++: The Art of Scientific Computing, 2nd edn. Cambridge University Press, Cambridge (2002) 6. org/software/gsl/ 7. : C–XSC – A C++ Library for Extended Scientific Computing. Springer, Heidelberg (1993) 8. : Numerical Toolbox for Verified Computing I — Basic Numerical Problems. Springer, Heidelberg (1993) 9. : filib++, a fast interval library supporting containment computations.

Download PDF sample

Rated 4.54 of 5 – based on 19 votes