A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s PrincipiaJacques Fleuriot₹7,774
