Algorithm 763: INTERVAL_ARITHMETIC

DOI10.1145/235815.235816zbMath0884.65041OpenAlexW2114297359WikidataQ113310371 ScholiaQ113310371MaRDI QIDQ4371107

Ralph Baker Kearfott

Publication date: 28 January 1998

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toms/1996-22/

zbMATH Keywords

error analysisinterval arithmeticcomputer arithmeticportabilityoperator overloadingautomatically verified computationsFortran 90 module \(\text{INTERVAL}_ - \text{ARITHMETIC}\)

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Packaged methods for numerical algorithms (65Y15)

Related Items (4)

Interval unions ⋮ On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection ⋮ Verifying topological indices for higher-order rank deficiencies ⋮ INTERVAL_ARITHMETIC

Uses Software

• INTLIB

This page was built for publication: Algorithm 763: INTERVAL_ARITHMETIC