Mechanizing Newton’s Principia
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.
KeywordsCentripetal Force Impulsive Force Polygonal Approximation Elliptical Motion Polygonal Path
Unable to display preview. Download preview PDF.