Algorithm 763: INTERVAL_ARITHMETIC

DOI10.1145/235815.235816MaRDI QIDQ4371107zbMATH OpenOpenAlexWikidataFDO

Authors 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 arithmeticoperator overloadingportabilityautomatically verified computationsFortran 90 module \(\text{INTERVAL}_ - \text{ARITHMETIC}\)

Mathematics Subject Classification ID

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

Recommendations

• Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
• scientific article; zbMATH DE number 3854312
• scientific article; zbMATH DE number 804116
• Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
• Interval arithmetic and its implementations
• Algorithm 814
• scientific article; zbMATH DE number 1694748
• Interval arithmetic: from principles to implementation

Cited in

(8)

• Physics inspired algorithms for (co)homology computations of three-dimensional combinatorial manifolds with boundary
• 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
• scientific article; zbMATH DE number 714525 (Why is no real title available?)
• scientific article; zbMATH DE number 3881871 (Why is no real title available?)
• Interval unions
• INTERVAL_ARITHMETIC
• The interval-enhanced GNU Fortran compiler

Describes a project that uses

Uses Software

• INTLIB

This page was built for publication: Algorithm 763: INTERVAL_ARITHMETIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4371107)