Testing interval arithmetic libraries, including their IEEE-1788 compliance.

Nathalie Revol Luis Benet Luca Ferranti Sergei I. Zhilin

Published in: CoRR (2022)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
constraint satisfaction
implicit surfaces
provably correct
search algorithm
cost function