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...
| Xuất bản năm: | ACM transactions on mathematical software. 22, 4 (1996). |
|---|---|
| Tác giả chính: | |
| Định dạng: | Bài viết |
| Ngôn ngữ: | English |
| Những chủ đề: |