Software for Interval Arithmetic: A Reasonably Portable Package.

J. Michael Yohe

Published in: ACM Trans. Math. Softw. (1979)

Keyphrases

interval arithmetic
constraint propagation
floating point
real numbers
multiscale
finite sets
neural network
np hard
linear programming
provably correct