Algorithm 763: INTERVAL_ARITHMETIC
- 1 December 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software
- Vol. 22 (4), 385-392
- https://doi.org/10.1145/235815.235816
Abstract
Interval arithmetic is useful in automatically verified computations , that is, in computations in which the algorithm itself rigorously proves that the answer must lie within certain bounds. In addition to rigor, interval arithmetic also provides a simple and sometimes sharp method of bounding ranges of functions for global optimization and other tasks. Convenient use of interval arithmetic requires an interval data type in the programming language. Although various packages supply such a data type, previous ones are machine specific, obsolete, and unsupported, for languages other than Fortran, or commercial. The Fortran 90 module INTERVAL_ARITHMETIC provides a portable interval data type in Fortran 90. This data type is based on two double-precision real Fortran storage units. Module INTERVAL_ARTHMETIC uses the Fortran 77 library INTLIB (ACM TOMS Algorithm 737) as a supporting library. The module has been employed extensively in the author's own research.Keywords
This publication has 6 references indexed in Scilit:
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimizationACM Transactions on Mathematical Software, 1995
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function libraryACM Transactions on Mathematical Software, 1994
- PROFIL/BIAS—A fast interval libraryComputing, 1994
- C-XSCPublished by Springer Nature ,1993
- Interval Methods for Systems of EquationsPublished by Cambridge University Press (CUP) ,1991
- Software for Interval Arithmetic: A Reasonably Portable PackageACM Transactions on Mathematical Software, 1979