Login / Signup
Constructing the real numbers in HOL.
John Harrison
Published in:
TPHOLs (1992)
Keyphrases
</>
real numbers
fuzzy numbers
interval arithmetic
arithmetic operations
theorem prover
linear inequalities
theorem proving
formal methods
computer vision
pattern recognition