logo

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Reliable Implementation Of Real Number Algorithms Theory And Practice International Seminar Dagstuhl Castle Germany January 813 2006 Revised Papers 1st Edition Peter Hertling

  • SKU: BELL-1079030
Reliable Implementation Of Real Number Algorithms Theory And Practice International Seminar Dagstuhl Castle Germany January 813 2006 Revised Papers 1st Edition Peter Hertling
$ 31.00 $ 45.00 (-31%)

4.4

22 reviews

Reliable Implementation Of Real Number Algorithms Theory And Practice International Seminar Dagstuhl Castle Germany January 813 2006 Revised Papers 1st Edition Peter Hertling instant download after payment.

Publisher: Springer
File Extension: PDF
File size: 5.49 MB
Pages: 247
Author: Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
ISBN: 9783540855200, 3540855203
Language: English
Year: 2008
Edition: 1

Product desciption

Reliable Implementation Of Real Number Algorithms Theory And Practice International Seminar Dagstuhl Castle Germany January 813 2006 Revised Papers 1st Edition Peter Hertling by Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol 9783540855200, 3540855203 instant download after payment.

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

Related Products