Login / Signup
A Machine-Checked Theory of Floating Point Arithmetic.
John Harrison
Published in:
TPHOLs (1999)
Keyphrases
</>
floating point
floating point arithmetic
general purpose
higher order