Symbolic Algebraic Methods and Verification Methods PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Symbolic Algebraic Methods and Verification Methods PDF full book. Access full book title Symbolic Algebraic Methods and Verification Methods by Götz Alefeld. Download full books in PDF and EPUB format.

Symbolic Algebraic Methods and Verification Methods

Symbolic Algebraic Methods and Verification Methods PDF Author: Götz Alefeld
Publisher: Springer Science & Business Media
ISBN: 3709162807
Category : Mathematics
Languages : en
Pages : 269

Get Book Here

Book 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.