Fleuriot, Jacques, 1972-
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia - London, New York : Springer c2001. - xi, 140 p.
1852334665 (acid-free paper)
Automatic theorem proving.
Nonstandard mathematical analysis.
514 FLE
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia - London, New York : Springer c2001. - xi, 140 p.
1852334665 (acid-free paper)
Automatic theorem proving.
Nonstandard mathematical analysis.
514 FLE