A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Aus der Reihe

Fr. 137.00

inkl. gesetzl. MwSt.

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Ebenfalls verfügbar als:

Gebundenes Buch

Gebundenes Buch

ab Fr. 137.00
Taschenbuch

Taschenbuch

ab Fr. 137.00
eBook

eBook

ab Fr. 125.90

Beschreibung

Details

Einband

Gebundene Ausgabe

Erscheinungsdatum

08.06.2001

Verlag

Springer London

Seitenzahl

140

Maße (L/B/H)

24.1/16/1.4 cm

Beschreibung

Details

Einband

Gebundene Ausgabe

Erscheinungsdatum

08.06.2001

Verlag

Springer London

Seitenzahl

140

Maße (L/B/H)

24.1/16/1.4 cm

Gewicht

412 g

Auflage

2001

Sprache

Englisch

ISBN

978-1-85233-466-6

Weitere Bände von Distinguished Dissertations

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen filtern

  • A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
  • 1. Introduction.- 1.1 A Brief History of th e Infinitesimal.- 1.2 The Principia and its Methods.- 1.3 On Nonstandard Analysis.- 1.4 Objectives.- 1.5 Achieving our Goals.- 1.6 Organisation of this Book.- 2. Geometry Theorem Proving.- 2.1 Historical Background.- 2.2 Algebraic Techniques.- 2.3 Coordinate-Free Techniques.- 2.4 Formalizing Geometry in Isabelle.- 2.5 Concluding Remarks.- 3. Constructing the Hyperreals.- 3.1 Isabelle/HOL.- 3.2 Propertiesof an Infinitesimal Calculus.- 3.3 Internal Set Theory.- 3.4 Constructions Leading to the Reals.- 3.5 Filters and Ultrafilters.- 3.6 Ultrapower Construction of the Hyperreals.- 3.7 Structure of the Hyperreal Number Line.- 3.8 The Hypernatural Numbers.- 3.9 An Alternative Construction for the Reals.- 3.10 Related Work.- 3.11 Concluding Remarks.- 4. Infinitesimal and Analytic Geometry.- 4.1 Non-Archimedean Geometry.- 4.2 New Definitions and Relations.- 4.3 Infinitesimal Geometry Proofs.- 4.4 Verifying the Axioms of Geometry.- 4.5 Concluding Remarks.- 5. Mechanizing Newton’s Principia.- 5.1 Formalizing Newton’s Properties.- 5.2 Mechanized Propositions and Lemmas.- 5.3 Ratios of Infinitesimals.- 5.4 Case Study : Propositio Kepleriana.- 6. Nonstandard Real Analysis.- 6.1 Extending a Relation to the Hyperreals.- 6.2 Towards an Intuitive Calculus.- 6.3 Real Sequences and Series.- 6.4 Some Elementary Topology of the Reals.- 6.5 Limits and Continuity.- 6.6 Differentiation.- 6.7 On the Transfer Principle.- 6.8 Related Work and Conclusions.- 7. Conclusions.- 7.1 Geometry, Newton , and the Principia.- 7.2 Hyperreal Analysis.- 7.3 Further Work.- 7.4 Concluding Remarks.