Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance.

Nathalie Revol Luis Benet Luca Ferranti Sergei I. Zhilin

Published in: PPAM (2) (2022)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
provably correct
support vector
three dimensional
learning algorithm
training set
image restoration
finite sets