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.

Bibliographic Information

Book Title: Reliable Implementation of Real Number Algorithms: Theory and Practice
Book Subtitle: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers
Editors: Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-85521-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-85520-0Published: 28 August 2008
eBook ISBN: 978-3-540-85521-7Published: 06 August 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 239
Topics: Arithmetic and Logic Structures, Programming Techniques, Theory of Computation, Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, Symbolic and Algebraic Manipulation

Publish with us

Policies and ethics

Reliable Implementation of Real Number Algorithms: Theory and Practice

Overview

Access this book

Other ways to access

Table of contents (12 papers)

Front Matter

Back Matter

Keywords

About this book

Bibliographic Information

Publish with us

Search

Navigation