VCFloat2: Floating-Point Error Analysis in Coq.

Andrew W. Appel Ariel Kellison

Published in: CPP (2024)

Keyphrases

error analysis
floating point
least squares
formal methods
square root
fixed point
theorem prover
cross ratio
fast fourier transform
sparse matrices
instruction set
error correction
floating point arithmetic
artificial intelligence
model selection
interval arithmetic