Opening book details…
Can I read A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia (Distinguished Dissertations) on EtoBox?
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia (Distinguished Dissertations) by Jacques Fleuriot is a mathematics available to read on EtoBox.
What is A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia (Distinguished Dissertations) about?
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.<br>In <b>A Combination of Geometry Theorem Proving and Nonstandard</b> <b>Analysis</b>, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newt
Who reads A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia (Distinguished Dissertations)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jacques Fleuriot
- Publisher
- Springer-Verlag
- Published
- 2012
- Language
- EN
- ISBN
- 9781447110415
- Category
- mathematics
- Subjects
- Computer Science, Mathematics, Science
- Updated
- 2026-03-25
More by Jacques Fleuriot
Browse all works by Jacques Fleuriot
Similar books
- Theorem Proving with the Real Numbers (Distinguished Dissertations) — John Harrison PhD, MA (auth.) (1998)
- Force and Geometry in Newton's Principia — François de Gandt (1995)
- Tame Geometry With Application in Smooth Analysis — Yomdin, Yosef & Comte, Georges
- Elementary Vector Analysis with Application to Geometry and Physics — C. E. Weatherburn
- Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489) — WU WEN-TSUN, Wen-tsün Wu, Wen-tsun, Wenjun (2000)
- Mechanical Geometry Theorem Proving (Mathematics and Its Applications, 41) — Shang-Ching Chou (1988)