A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Books - Springer London Ltd - 9781852334666 - June 8, 2001
In case cover and title do not match, the title is correct

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

Jacques Fleuriot

Price
zł 391.90
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 21 - 31

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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 Books     Hardcover Book   (Book with hard spine and cover)
Released June 8, 2001
ISBN13 9781852334666
Publishers Springer London Ltd
Pages 140
Dimensions 155 × 235 × 11 mm   ·   385 g
Language English  

See all of Jacques Fleuriot ( e.g. Paperback Book and Hardcover Book )