License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.08021.18
URN: urn:nbn:de:0030-drops-14517
Go to the corresponding Portal

Pryce, John D. ; Corliss, George C. ; Kearfott, R. Baker ; Nedialkov, Ned S. ; Smith, Spencer

Second Note on Basic Interval Arithmetic for IEEE754R

08021.PryceJohn.Paper.1451.pdf (0.1 MB)


The IFIP Working Group 2.5 on Numerical Software (IFIPWG2.5) wrote on 5th Septem-
ber 2007 to the IEEE Standards Committee concerned with revising the IEEE Floating-
Point Arithmetic Standards 754 and 854 (IEEE754R), expressing the unanimous
request of IFIPWG2.5 that the following requirement be included in the future computer
arithmetic standard:

For the data format double precision, interval arithmetic should be made
available at the speed of simple floating-point arithmetic.

IEEE754R (we believe) welcomed this development. They had before them a document
defining interval arithmetic operations but, to be the basis of a standards document, it
needed more detail. Members of the Interval Subroutine Library (ISL) team were asked
to comment, in an email from Ulrich Kulisch that enclosed one from Jim Demmel to Van
Snyder raising the issue. This paper provides ISL's comments.

BibTeX - Entry

  author =	{Pryce, John D. and Corliss, George C. and Kearfott, R. Baker and Nedialkov, Ned S. and Smith, Spencer},
  title =	{{Second Note on Basic Interval Arithmetic for IEEE754R}},
  booktitle =	{Numerical Validation in Current Hardware Architectures},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8021},
  editor =	{Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-14517},
  doi =		{10.4230/DagSemProc.08021.18},
  annote =	{Keywords: Interval arithmetic, validated computation, floating point, standards, exceptions, not an interval}

Keywords: Interval arithmetic, validated computation, floating point, standards, exceptions, not an interval
Collection: 08021 - Numerical Validation in Current Hardware Architectures
Issue Date: 2008
Date of publication: 22.04.2008

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI