Login / Signup
Guaranteed Proofs Using Interval Arithmetic.
Marc Daumas
Guillaume Melquiond
César A. Muñoz
Published in:
IEEE Symposium on Computer Arithmetic (2005)
Keyphrases
</>
interval arithmetic
constraint propagation
real numbers
floating point
provably correct
partial derivatives
constraint satisfaction problems
temporal constraints
constraint programming
implicit surfaces
finite sets
constraint satisfaction
real time
neural network
video sequences