A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Fr. 137.00
inkl. gesetzl. MwSt.Beschreibung
Details
Einband
Gebundene Ausgabe
Erscheinungsdatum
08.06.2001
Verlag
Springer LondonSeitenzahl
140
Maße (L/B/H)
24.1/16/1.4 cm
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 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.
Weitere Bände von Distinguished Dissertations
-
Zur Artikeldetailseite von Randomized Algorithms: Approximation, Generation, and Counting des Autors Russ Bubley
Russ Bubley
Randomized Algorithms: Approximation, Generation, and CountingBuch
Fr. 138.00
-
Zur Artikeldetailseite von Asynchronous System-On-Chip Interconnect des Autors John Bainbridge
John Bainbridge
Asynchronous System-On-Chip InterconnectBuch
Fr. 135.00
-
Zur Artikeldetailseite von Image Mosaicing and Super-resolution des Autors David Capel
David Capel
Image Mosaicing and Super-resolutionBuch
Fr. 137.00
-
Zur Artikeldetailseite von Strength or Accuracy: Credit Assignment in Learning Classifier Systems des Autors Tim Kovacs
Tim Kovacs
Strength or Accuracy: Credit Assignment in Learning Classifier SystemsBuch
Fr. 191.00
-
Zur Artikeldetailseite von Dynamic Flexible Constraint Satisfaction and its Application to AI Planning des Autors Ian Miguel
Ian Miguel
Dynamic Flexible Constraint Satisfaction and its Application to AI PlanningBuch
Fr. 182.00
-
Zur Artikeldetailseite von Inheritance Relationships for Disciplined Software Construction des Autors Tracy A. Gardner
Tracy A. Gardner
Inheritance Relationships for Disciplined Software ConstructionBuch
Fr. 133.00
-
Zur Artikeldetailseite von Automated Theory Formation in Pure Mathematics des Autors Simon Colton
Simon Colton
Automated Theory Formation in Pure MathematicsBuch
Fr. 161.00
-
Zur Artikeldetailseite von Accurate Visual Metrology from Single and Multiple Uncalibrated Images des Autors Antonio Criminisi
Antonio Criminisi
Accurate Visual Metrology from Single and Multiple Uncalibrated ImagesBuch
Fr. 182.00
-
Zur Artikeldetailseite von A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia des Autors Jacques Fleuriot
Jacques Fleuriot
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s PrincipiaBuch
Fr. 137.00
-
Zur Artikeldetailseite von User-Developer Cooperation in Software Development des Autors Eamonn O'Neill
Eamonn O'Neill
User-Developer Cooperation in Software DevelopmentBuch
Fr. 161.00
-
Zur Artikeldetailseite von Models of Sharing Graphs: A Categorical Semantics of Let and Letrec des Autors Masahito Hasegawa
Masahito Hasegawa
Models of Sharing Graphs: A Categorical Semantics of Let and LetrecBuch
Fr. 189.00
-
Zur Artikeldetailseite von Theorem Proving with the Real Numbers des Autors John Harrison
John Harrison
Theorem Proving with the Real NumbersBuch
Fr. 133.00
Unsere Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Erste Bewertung verfassen