A Verified Certificate Checker for Floating-Point Error Bounds.

Heiko Becker Eva Darulova Magnus O. Myreen

Published in: CoRR (2017)

Keyphrases

error bounds
floating point
theoretical analysis
worst case
fixed point
square root
instruction set
floating point arithmetic
sparse matrices
fast fourier transform
interval arithmetic
wavelet synopses
image segmentation
search space
scheduling problem
general purpose