Name: Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Price: 1126.95 DKK
Availability: InStock
Author: Jacques Fleuriot
ISBN: 9781852334666

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

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
1.126,95 kr.

Bag om 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.

Vis mere

Sprog:
Engelsk

ISBN:
9781852334666

Forlag:
Springer London Ltd

Indbinding:
Hardback

Sideantal:
140

Udgivet:
8. juni 2001

Udgave:
2001

Størrelse:
234x156x11 mm.

Vægt:
890 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 28. november 2024

Normalpris

1.126,95 kr. + Fragt
~~1.126,95 kr.~~

Abonnementspris

1.122,95 kr.

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Jacques Fleuriot

Vis alle bøger af Jacques Fleuriot

Beskrivelse af 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.

Brugerbedømmelser af Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia

Andre købte også..

Find lignende bøger

Bogen Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia findes i følgende kategorier:

Business og læring