INTERVAL_ARITHMETIC
Algorithm 763: INTERVAL - ARITHMETIC: A Fortran 90 module for an interval data type 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 - ARITHMETIC 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
(Source: http://dl.acm.org/)
This software is also peer reviewed by journal TOMS.
This software is also peer reviewed by journal TOMS.
Keywords for this software
References in zbMATH (referenced in 8 articles , 1 standard article )
Showing results 1 to 8 of 8.
Sorted by year (- Kearfott, Ralph Baker: Interval computations, rigour and non-rigour in deterministic continuous global optimization (2011)
- Kinoshita, Takehiko; Nakao, Mitsuhiro T.: On very accurate enclosure of the optimal constant in the a priori error estimates for $H_0^2$-projection (2010)
- Gentle, James E.: Matrix algebra. Theory, computations, and applications in statistics (2007)
- Chachuat, B.; Latifi, M. A.: A new approach in deterministic global optimisation of problems with ordinary differential equations (2004)
- Kearfott, R.Baker: GlobSol: history, composition, and advice on use (2003)
- Kearfott, R.Baker; Dian, Jianwei: Verifying topological indices for higher-order rank deficiencies (2002)
- Flores, Juan: Complex fans: A representation for vectors in polar form with interval attributes (1999)
- Kearfott, R.Baker: Algorithm 763: INTERVAL$\sb -$ARITHMETIC: A Fortran 90 module for an interval data type (1996)