Title: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
Subjects: Automatic theorem proving, Nonstandard mathematical analysis, Mathematical analysis