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

by Jacques D. Fleuriot , Lawrence C. Paulson
Venue:PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-15
Citations:10 - 3 self