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

### View PDF

### Download Links

- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
John Harrison

Venue: | Higher Order Logic Theorem Proving and its Applications (HUG `93 |

Citations: | 34 - 4 self |