A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Enlarge cover
Rate this book
Clear rating

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

0.0 of 5 stars 0.00  ·  rating details  ·  0 ratings  ·  0 reviews
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.
In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of metho...more
Hardcover, 140 pages
Published June 8th 2001 by Springer
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

Be the first to ask a question about A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 0-0 of 0)
filter  |  sort: default (?)  |  rating details
There are no discussion topics on this book yet. Be the first to start one »
Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Share This Book