## A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia (1998)

### Cached

### Download Links

by
Jacques D. Fleuriot
,
Lawrence C. Paulson

Venue: | PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-15 |

Citations: | 10 - 3 self |