Mathematics and Speed for Interval Arithmetic: A Complement to IEEE 1788.

Ulrich W. Kulisch

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

Keyphrases

interval arithmetic
constraint propagation
floating point
real numbers
real time
provably correct
neural network
computational intelligence
finite sets
implicit surfaces