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