A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Bøker - Springer London Ltd - 9781852334666 - 8. juni 2001
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Jacques Fleuriot

Pris
zł 391,90

Bestillingsvarer

Forventes levert 17. - 25. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Finnes også som:

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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 8. juni 2001
ISBN13 9781852334666
Utgivere Springer London Ltd
Antall sider 140
Mål 155 × 235 × 11 mm   ·   385 g
Språk Engelsk  

Se alt med Jacques Fleuriot ( f.eks. Pocketbok og Innbunden bok )