A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
Fleuriot, Jacques
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
9781852334666
Automatic theorem proving
006.333 FLE
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
9781852334666
Automatic theorem proving
006.333 FLE