A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia /
Fleuriot, Jacques,1972-
London : Springer,
c2001.

Includes bibliographical references and index.
Newton, Isaac, 1642-1727.
Automatic theorem proving.
Nonstandard mathematical analysis.