Jacques Fleuriot
Original record- Institution
- University of Cambridge
- Year
- 1999
- Country
- United Kingdom
- MGP identifier
- 74387
Dissertation: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Mathematics Subject Classification: 26—Real functions
Advisor 1
- Lawrence Charles PaulsonStanford University · 1981
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Lucas Dixon | The University of Edinburgh | 2005 | 1 |