A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Bøger - Springer London Ltd - 9781852334666 - 8. juni 2001
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Jacques Fleuriot

Pris
zł 488,90

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 22. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes 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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 8. juni 2001
ISBN13 9781852334666
Forlag Springer London Ltd
Antal sider 140
Mål 155 × 235 × 11 mm   ·   385 g
Sprog Engelsk  

Se alt med Jacques Fleuriot ( f.eks. Paperback Bog og Hardcover bog )