Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficiently implemented. There is an unanimous agreement, how to define the basic operations, if we exclude division by an interval containing zero. Hence, it should be standardized. For division by zero, two options are possible, the clean exception free interval arithmetic or the containment arithmetic. They can be standardized as options. Elementary functions for intervals can be defined. In some application areas loose evaluation of functions, i.e. evaluation over an interval which is not completely contained in the function domain, is recommended, In this case, howe...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of rea...
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of rea...
Basic concepts for an interval arithmetic standard are discussed in the paper. Interval arithmetic d...
(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic underg...
(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic underg...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
Interval arithmetic is the mathematical structure, which for real intervals defines operations analo...
Invited talkInternational audienceSince 2008, the interval arithmetic community has undertaken a col...
Invited talkInternational audienceSince 2008, the interval arithmetic community has undertaken a col...
In this thesis we present an approach to automated verification of floating point programs. Existing...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of rea...
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of rea...
Basic concepts for an interval arithmetic standard are discussed in the paper. Interval arithmetic d...
(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic underg...
(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic underg...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
Interval arithmetic is the mathematical structure, which for real intervals defines operations analo...
Invited talkInternational audienceSince 2008, the interval arithmetic community has undertaken a col...
Invited talkInternational audienceSince 2008, the interval arithmetic community has undertaken a col...
In this thesis we present an approach to automated verification of floating point programs. Existing...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceEfforts have been made to standardize interval arithmetic (IA) for over a deca...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...