Fleuriot, Jacques <br/><br/>
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia 
Jacques Fleuriot 
 - 1st ed 
 - Berlin  Springer  2001 
 - xi, 140 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references (p. [133]-138) and index 
<br/><br/><label>ISBN: </label>9781852334666 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Newton, Isaac, Sir, 1642-1727. Principia<br/>Nonstandard mathematical analysis
<br/><br/><label>Dewey Class. No.: </label>006.333 FLE