A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principiaby Jacques FleuriotWriting a summary for young readers…For young readersBook data: Open Library