2014 | OriginalPaper | Buchkapitel
Function Interval Arithmetic
verfasst von : Jan Duracz, Amin Farjudian, Michal Konečný, Walid Taha
Erschienen in: Mathematical Software – ICMS 2014
Verlag: Springer Berlin Heidelberg
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
We propose an arithmetic of
function intervals
as a basis for convenient rigorous numerical computation. Function intervals can be used as mathematical objects in their own right or as
enclosures
of functions over the reals. We present two areas of application of function interval arithmetic and associated software that implements the arithmetic: (1) Validated ordinary differential equation solving using the AERN library and within the Acumen hybrid system modeling tool. (2) Numerical theorem proving using the PolyPaver prover.