Extending the HOL theorem prover with a Computer Algebra System to Reason about the Reals (1993)

Cached

Download Links

by John Harrison
Venue:Higher Order Logic Theorem Proving and its Applications (HUG `93
Citations:33 - 4 self

Document Versions

Extending the HOL theorem prover with a Computer Algebra System to Reason about the Reals –John Harrison — 1993 — Higher Order Logic Theorem Proving and its Applications (HUG `93
Extending the HOL theorem prover with a Computer Algebra System to Reason about the Reals –John Harrison — 1993 — Higher Order Logic Theorem Proving and its Applications (HUG `93