Login / Signup
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis.
Arnab Das
Ian Briggs
Ganesh Gopalakrishnan
Sriram Krishnamoorthy
Published in:
CoRR (2020)
Keyphrases
</>
error analysis
floating point
square root
fixed point
least squares
cross ratio
error correction
sparse matrices
page segmentation
interval arithmetic
fast fourier transform
error estimates