Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London
About this chapter
Cite this chapter
Fleuriot, J. (2001). Mechanizing Newton’s Principia. In: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia. Distinguished Dissertations. Springer, London. https://doi.org/10.1007/978-0-85729-329-9_5
Download citation
DOI: https://doi.org/10.1007/978-0-85729-329-9_5
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1041-5
Online ISBN: 978-0-85729-329-9
eBook Packages: Springer Book Archive