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