A combination of geometry theorem proving and nonstandard analysis with application to Newton's principia /

Description

Univ., Diss.--Cambridge, 1991. / Literaturverz. S. [133] - 138.

Links & Downloads

1. http://www.loc.gov/catdir/enhancements/fy0813/2001031372-d.html
2. http://www.loc.gov/catdir/enhancements/fy0813/2001031372-t.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/248728119
Date	January 2001
Creators	Fleuriot, Jacques.
Publisher	London [u.a.] : Springer,
Source Sets	OCLC
Language	English
Detected Language	English