Algorithm 763: INTERVAL_ARITHMETIC
Published in ACM Transactions on Mathematical Software • Dec 1, 1996
Authors:
R. Baker Kearfott
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 rang...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!