Fleuriot, Jacques <br/><br/>
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia 

 - 1st ed 
 - Berlin:  Springer,  2001 
 - xi, 140 p. : ill. ; 24 cm 
<br/><br/><label>ISBN: </label>9781852334666 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving
<br/><br/><label>Dewey Class. No.: </label>006.333 FLE