A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Kirjat - Springer London Ltd - 9781852334666 - perjantai 8. kesäkuuta 2001
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Jacques Fleuriot

Hinta
元 972,40

Tilattu etävarastosta

Arvioitu toimitus pe - ti 13. - 24. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä perjantai 8. kesäkuuta 2001
ISBN13 9781852334666
Tuottaja Springer London Ltd
Sivujen määrä 140
Mitta 155 × 235 × 11 mm   ·   385 g
Kieli English  

Katso kaikki joka sisältää Jacques Fleuriot ( Esim. Paperback Book Ja Hardcover Book )