2026-08-06T11:03:12Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1451 2024-03-06T11:07:53Z ddc:004 open_access

Second Note on Basic Interval Arithmetic for IEEE754R Pryce, John D. Corliss, George C. Kearfott, R. Baker Nedialkov, Ned S. Smith, Spencer Interval arithmetic validated computation floating point standards exceptions not an interval 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik John D. Pryce and George C. Corliss and R. Baker Kearfott and Ned S. Nedialkov and Spencer Smith 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08021.18 urn:nbn:de:0030-drops-14517 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.18 eng https://creativecommons.org/licenses/by/4.0/legalcode