Jacques Fleuriot

• A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
• A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
• A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
• Automated Deduction in Geometry