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 range...
| Published in: | ACM transactions on mathematical software. 22, 4 (1996). |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Subjects: |