This specific ISBN edition is currently not available.View all copies of this ISBN edition:
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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
Book Description Condition: New. Brand New Book In Mint condition. Shipping with Trackable Method. No APO/FPO Addresses Please. Seller Inventory # 9783540855200NHS
Book Description Condition: Brand New. PAPERBACK, Book Condition New, U.S. EDITION. We Do not Ship APO FPO AND PO BOX. . Printing in English language.NO CD AND ACCESS CODE. Quick delivery by USPS/UPS/DHL/FEDEX/ARAMEX ,Customer satisfaction guaranteed. We may ship the books from Asian regions for inventory purpose. Seller Inventory # ABE ORGNEWCB #11137
Book Description Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Seller Inventory # AIND-83743
Book Description Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Seller Inventory # ABE-FEB-124723
Book Description Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Seller Inventory # SHUB124723
Book Description Condition: Brand New. New, US edition. Excellent Customer Service. Seller Inventory # ABEUSA-124723
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship fro the US or other locations in India depending on your location and availability. Seller Inventory # AUSBNEW-83743
Book Description Springer, 2008. Condition: New. book. Seller Inventory # M3540855203
Book Description Springer, 2008. Paperback. Condition: New. 2008. Seller Inventory # DADAX3540855203
Book Description Springer. Condition: New. pp. xi + 239. Seller Inventory # 7453104