Cover Image

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia /

Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague. In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a fo...

Full description

Bibliographic Details
Main Author: Fleuriot, Jacques
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London, 2001.
Series:Distinguished dissertations.
Subjects:
Computer science.
Geometry.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Introduction
  • Geometry Theorem Proving
  • Constructing the Hyperreals
  • Infinitesimal and Analytical Geometry
  • Mechanising Newton's Principia
  • Nonstandard Real Analysis
  • Conclusion. The complete table of contents can be found on the Internet: http://www.springer.de.