A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia / Jacques Fleuriot.

Saved in:

Bibliographic Details
Main Author:	Fleuriot, Jacques, 1972-
Format:	Book
Language:	English
Published:	London ; New York : Springer, ©2001.
Series:	CPHC/BCS distinguished dissertations.
Subjects:	Newton, Isaac, > 1642-1727. > Principia. Automatic theorem proving. Nonstandard mathematical analysis.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.9.A96 F72 2001
QA76.9.A96 F72 2001	Available Place a Hold