Skip to main content

2001 | OriginalPaper | Buchkapitel

Guaranteed Computation with Floating-point Numbers

verfasst von : Luc Jaulin, PhD, Michel Kieffer, PhD, Olivier Didrit, PhD, Éric Walter, PhD

Erschienen in: Applied Interval Analysis

Verlag: Springer London

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

One of the main features of interval analysis is its ability to provide boxes guaranteed to contain the image of a given box by a function. This containment property has to be preserved by computer implementation. The intervals computed using a finite-precision representation of real numbers should therefore always contain those that would be obtained with an infinite precision. A trade-off should moreover be found between execution time and accuracy of interval evaluation.

Metadaten
Titel
Guaranteed Computation with Floating-point Numbers
verfasst von
Luc Jaulin, PhD
Michel Kieffer, PhD
Olivier Didrit, PhD
Éric Walter, PhD
Copyright-Jahr
2001
Verlag
Springer London
DOI
https://doi.org/10.1007/978-1-4471-0249-6_10

Premium Partner