000			00792nam a2200229Ia 4500
008			191130s2001##################000#0#eng##
020			_a9781852334666
040			_aACL _cACL
082			_a006.333 FLE
100			_aFleuriot, Jacques
245			_aA combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia _cJacques Fleuriot
250			_a1st ed
260			_aBerlin _bSpringer _c2001
300			_axi, 140 p. : ill. ; 24 cm
500			_aIncludes bibliographical references (p. [133]-138) and index
650			_aAutomatic theorem proving
650			_aNewton, Isaac, Sir, 1642-1727. Principia
650			_aNonstandard mathematical analysis
990			_a260b47f4ac10000c147d3110524c653a
991			_a279474
999			_c354917 _d354917