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...
| 出版年: | ACM transactions on mathematical software. 22, 4 (1996). |
|---|---|
| 第一著者: | |
| フォーマット: | 論文 |
| 言語: | English |
| 主題: |