Symbolic Algebraic Methods and Verification Methods (Springer Mathematics,)
Contributors: Götz Alefeld (Editor); Jiri Rohn (Editor); Siegfried Rump (Editor); Tetsuro Yamamoto (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 30, 2001
Language: eng
Format: Paperback
Number of pages: 266
ISBN-13: 9783211835937
Subjects: Algebra; Mathematical theory of computation; Numerical analysis; Probability & Statistics - General; Computers - General Information; Theory Of Numbers; Computers; Numerical calculations; Science/Mathematics; Number Theory; Floating-point arithmetic; Computer Science; Machine Theory; Mathematics / Applied; computer algebra; hybrid methods; rounding erros; Verification; Computer arithmetic; Computer Bks - General Information
Description: The usual "implementation” of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. During the last years research in different areas has been intensified in order to overcome these problems. (LEDA-Library by K. Mehlhorn et al., "Exact arithmetic with real numbers” by A. Edalat et al., Symbolic algebraic methods, verification methods). The latest development is the combination of symbolic-algebraic methods and verification methods to so-called hybrid methods. – This book contains a collection of worked out talks on these subjects given during a Dagstuhl seminar at the Forschungszentrum für Informatik, Schloß Dagstuhl, Germany, presenting the state of the art.