Making Interval Arithmetic Robust to Overflow.

Oliver Flatt Pavel Panchekha

Published in: ARITH (2023)

Keyphrases

interval arithmetic
three dimensional
provably correct
image segmentation
active learning
level set
constraint satisfaction problems
floating point