TY  - BOOK
AU  - Fleuriot, Jacques
TI  - A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
SN  - 9781852334666
U1  - 006.333 FLE 
PY  - 2001///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
ER  -