Rigorous Enclosure of Round-Off Errors in Floating-Point Computations.

Rémy Garcia Claude Michel Michel Rueher

Published in: VSTTE (2020)

Keyphrases

floating point
square root
fixed point
instruction set
floating point arithmetic
sparse matrices
artificial intelligence
active contours
pairwise
state space
general purpose
fast fourier transform
interval arithmetic