Interval Arithmetic on 32-bit Words.

Published in: Arch. Formal Proofs (2019)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
integer arithmetic
provably correct
partial derivatives
learning algorithm
three dimensional
support vector
np hard
np complete
finite sets