Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
About this book
In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.
Authors and Affiliations
-
Division of Informatics, University of Edinburgh, Edinburgh, UK
Jacques Fleuriot
Bibliographic Information
Book Title: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Authors: Jacques Fleuriot
Series Title: Distinguished Dissertations
DOI: https://doi.org/10.1007/978-0-85729-329-9
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 2001
Hardcover ISBN: 978-1-85233-466-6Published: 08 June 2001
Softcover ISBN: 978-1-4471-1041-5Published: 13 September 2012
eBook ISBN: 978-0-85729-329-9Published: 30 September 2012
Edition Number: 1
Number of Pages: XIII, 140
Topics: Geometry, Mathematics of Computing