Login / Signup
Computer-Assisted Verification of Four Interval Arithmetic Operators.
Daisuke Ishii
Tomohito Yabu
Published in:
CoRR (2020)
Keyphrases
</>
computer assisted
interval arithmetic
constraint propagation
real numbers
floating point
computer aided
intraoperative
model checking
provably correct
finite sets
constraint programming
implicit surfaces
partial derivatives
constraint satisfaction problems