Fleuriot, J. (2001). A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia. Springer London.
Chicago Style (17th ed.) CitationFleuriot, Jacques. A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia. London: Springer London, 2001.
MLA (9th ed.) CitationFleuriot, Jacques. A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia. Springer London, 2001.
Warning: These citations may not always be 100% accurate.