A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Bücher - Springer London Ltd - 9781852334666 - 8. Juni 2001
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations 2001 edition

Jacques Fleuriot

Preis
S$ 158,50
exkl. MwSt.

Bestellware

Lieferdatum: ca. 18. Jun - 1. Jul

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations 2001 edition

Demonstrations of Newton's theorems are usually presented using calculus. This text describes the mechanization of Lemmas and Propositions from the "Principia", using formal tools developed in the generic theorem prover Isabelle.

140 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 8. Juni 2001
ISBN13 9781852334666
Verlag Springer London Ltd
Seitenanzahl 140
Maße 155 × 235 × 11 mm   ·   385 g
Sprache Englisch  

Alle Titel von Jacques Fleuriot ansehen ( u. a. Taschenbuch und Gebundenes Buch )