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
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.