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

View PDF

Download Links

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