Login / Signup
Using Theory Interpretation to Mechanise the Reals in a Theorem Prover.
Jamie Shield
Ian J. Hayes
David A. Carrington
Published in:
Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
</>
theorem prover
computer algebra
boolean algebra
automated reasoning
term rewriting
first order logic
theorem proving
automated deduction
formal proof
inference rules
automated theorem proving
higher order logic
natural deduction
proof search
probabilistic model
formal semantics
mathematical knowledge