This is a slightly expanded form of the author’s talk of the same title at SCAN 2014, Würzburg. Angled towards people who use interval numerical methods little or not at all, it briefly describes how interval arithmetic works, the mindset required to use it effectively, why an interval arithmetic standard was needed, the setting up of IEEE Working Group P1788 for the purpose, the structure of the standard it has produced, some difficulties we encountered, and the current state of the P1788 project. During production of these Proceedings the 1788 standard has been published, but the talk’s original title has been kept. This article, slightly expanded from the author’s talk of the same title at SCAN 2014, briefly describes how interval ari...
International audienceThe standardization of interval arithmetic is currently undertaken by the IEEE...
International audienceThe standardization of interval arithmetic is currently undertaken by the IEEE...
International audienceThe IEEE 1788-2015 has standardized interval arithmetic. However, few librarie...
This is a slightly expanded form of the author’s talk of the same title at SCAN 2014, Würzburg. Angl...
(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic underg...
Invited talkInternational audienceSince 2008, the interval arithmetic community has undertaken a col...
Invited talkInternational audienceSince 2008, the interval arithmetic community has undertaken a col...
(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic underg...
International audienceA brief overview of the creation and work of the IEEE 1788 working group for t...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
International audienceA brief overview of the creation and work of the IEEE 1788 working group for t...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
Abstract—We provide a summary of the goals, underlying philosophy, work, decisions, product, and com...
Basic concepts for an interval arithmetic standard are discussed in the paper. Interval arithmetic d...
International audienceThe standardization of interval arithmetic is currently undertaken by the IEEE...
International audienceThe standardization of interval arithmetic is currently undertaken by the IEEE...
International audienceThe IEEE 1788-2015 has standardized interval arithmetic. However, few librarie...
This is a slightly expanded form of the author’s talk of the same title at SCAN 2014, Würzburg. Angl...
(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic underg...
Invited talkInternational audienceSince 2008, the interval arithmetic community has undertaken a col...
Invited talkInternational audienceSince 2008, the interval arithmetic community has undertaken a col...
(Standardization effort supported by the INRIA D2T.)International audienceInterval arithmetic underg...
International audienceA brief overview of the creation and work of the IEEE 1788 working group for t...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
International audienceA brief overview of the creation and work of the IEEE 1788 working group for t...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
Abstract—We provide a summary of the goals, underlying philosophy, work, decisions, product, and com...
Basic concepts for an interval arithmetic standard are discussed in the paper. Interval arithmetic d...
International audienceThe standardization of interval arithmetic is currently undertaken by the IEEE...
International audienceThe standardization of interval arithmetic is currently undertaken by the IEEE...
International audienceThe IEEE 1788-2015 has standardized interval arithmetic. However, few librarie...