Sign in
C floating-point proofs layered with VST and Flocq.
Andrew W. Appel
Yves Bertot
Published in:
J. Formaliz. Reason. (2020)
Keyphrases
</>
floating point
fixed point
square root
theorem proving
theorem prover
sparse matrices
floating point arithmetic
instruction set
interval arithmetic
fast fourier transform
database systems
low cost