Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

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

Über Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781852334666
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 140
  • Veröffentlicht:
  • 8. Juni 2001
  • Ausgabe:
  • 2001
  • Abmessungen:
  • 234x156x11 mm.
  • Gewicht:
  • 890 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia

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.

Kund*innenbewertungen von Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia



Ähnliche Bücher finden
Das Buch Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.