Computer-assisted verification of four interval arithmetic operators.

Daisuke Ishii Tomohito Yabu

Published in: J. Comput. Appl. Math. (2020)

Keyphrases

computer assisted
interval arithmetic
constraint propagation
real numbers
floating point
computer aided
intraoperative
provably correct
model checking
partial derivatives
formal methods
three dimensional
complex objects
real time
temporal constraints
rough sets
computational complexity
neural network