Name: Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Price: 1099.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.099,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: 22. november 2024

Normalpris

BLACK NOVEMBER
1.099,95 kr. + Fragt
~~1.099,95 kr.~~

Medlemspris

1.049,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

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

Bag om Jacques Fleuriot

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

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

Gør som tusindvis af andre bogelskere