Second Note on Basic Interval Arithmetic for IEEE754R

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

doi:10.4230/DagSemProc.08021.18

Document

Second Note on Basic Interval Arithmetic for IEEE754R

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

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 8021
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-04-22

PDF

File

PDF

DagSemProc.08021.18.pdf

Filesize: 141 kB
8 pages

Document Identifiers

DOI: 10.4230/DagSemProc.08021.18
URN: urn:nbn:de:0030-drops-14517

Subject Classification

Keywords

Interval arithmetic
validated computation
floating point
standards
exceptions
not an interval

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

John D. Pryce, George C. Corliss, R. Baker Kearfott, Ned S. Nedialkov, and Spencer Smith. Second Note on Basic Interval Arithmetic for IEEE754R. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008) https://doi.org/10.4230/DagSemProc.08021.18

Author Details

John D. Pryce

George C. Corliss

R. Baker Kearfott

Ned S. Nedialkov

Spencer Smith

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail