Results obtained through the combination of geometric and NSA techniques can now be presented. The methods have been used to investigate the infinitesimal geometry. Some of the results confirm what one intuitively might expect to hold when elements are allowed to be infinitesimal. In what follows, the formalization of various notions found in Newton’s prose is examined. Important theorems about motion along arcs, circular paths and elliptical orbits are mechanized.


Centripetal Force Impulsive Force Polygonal Approximation Elliptical Motion Polygonal Path 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 2001

Authors and Affiliations

  • Jacques Fleuriot
    • 1
  1. 1.Division of InformaticsUniversity of EdinburghEdinburghUK

Personalised recommendations