Login / Signup
Constructing the Real Numbers in HOL.
John Harrison
Published in:
Formal Methods Syst. Des. (1994)
Keyphrases
</>
real numbers
fuzzy numbers
linear inequalities
interval arithmetic
theorem prover
arithmetic operations
constraint solver
ordered fuzzy numbers
data mining
information retrieval
pattern recognition
query language
input output
theorem proving
natural deduction