Reliable Implementation of Real Number Algorithms: Theory and Practice (häftad)
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
239
Utgivningsdatum
2008-08-27
Upplaga
2008 ed.
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
5Hertling, Peter
Illustratör/Fotograf
Illustrations
Illustrationer
XI, 239 p.
Dimensioner
236 x 155 x 15 mm
Vikt
386 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540855200
Reliable Implementation of Real Number Algorithms: Theory and Practice (häftad)

Reliable Implementation of Real Number Algorithms: Theory and Practice

International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers

Häftad Engelska, 2008-08-27
759
Skickas inom 10-15 vardagar.
Fri frakt inom Sverige för privatpersoner.
Finns även som
Visa alla 1 format & utgåvor
A large amount of the capacity of today's computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri?edor reliablecomputations. Since real numbersare objects c- taining an in?nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri?ed - plementations of real number algorithms using ?nite precision. While this is t- ditionally seen to be a problem in numerical mathematics, there are also several scienti?c communities in computer science that are dealing with this problem. This book is a follow-up of the Dagstuhl Seminar 06021 on "Reliable Imp- mentation of Real Number Algorithms: Theory and Practice," which took place January 8-13, 2006. It was intended to stimulate an exchange of ideas between the di?erent communities that deal with the problem of reliable implementation of real number algorithms either from a theoretical or from a practical point of view. Forty-eight researchers from many di?erent countries and many di?erent disciplines gathered in the castle of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di?erent theoretical models and practical - proaches for reliable real number computations.
Visa hela texten

Passar bra ihop

  1. Reliable Implementation of Real Number Algorithms: Theory and Practice
  2. +
  3. Numerical Validation in Current Hardware Architectures

De som köpt den här boken har ofta också köpt Numerical Validation in Current Hardware Archit... av Annie A M Cuyt, Walter Kramer, Wolfram Luther, Peter Markstein (häftad).

Köp båda 2 för 1568 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Bloggat om Reliable Implementation of Real Number Al...

Innehållsförteckning

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.