A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia by Jacques Fleuriot | Menrva Books | MenrvaBooks
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia