Jacques Fleuriot
Books
- Automated Deduction in Geometry
- A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
- 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
Author data: Open Library