Science & Math | Mathematics

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

by Jacques Fleuriot

2020-05-06 23:03:53

Compare Price
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 A... Read more
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 methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed. Less

Book Details

Publication date September 30, 2012
Languageeng
ISBN9780857293299
autor-image
Jacques Fleuriot
Author
...

Compare Prices

Store Availability Book Format Condition Price
eBooks.com In Stock PDF (drm free, digitally watermarked) PDF (drm free, digitally watermarked) Buy AUD 109.0
eBooks.comIn Stock
Format
PDF (drm free, digitally watermarked)
Condition
PDF (drm free, digitally watermarked)
Buy AUD 109.0
Available Discount
No Discount available

Related Books

View All
Intermediate Algebra & Analytic Geometry
☆ ☆ ☆ ☆ ☆
FREE
Deductive Logic
☆ ☆ ☆ ☆ ☆
An Introduction to Generalized Linear Models
☆ ☆ ☆ ☆ ☆
Orthogonal Polynomials and Painlevé Equations
☆ ☆ ☆ ☆ ☆
College Placement Math Success in 20 Minutes a Day
☆ ☆ ☆ ☆ ☆
Applied Linear Algebra
☆ ☆ ☆ ☆ ☆
FREE
The Earliest Arithmetics in English
☆ ☆ ☆ ☆ ☆
Introduction to Lie Groups and Lie Algebra, 51
☆ ☆ ☆ ☆ ☆
Time Series Analysis with Long Memory in View
☆ ☆ ☆ ☆ ☆
Mathematical Modeling and Applied Calculus
☆ ☆ ☆ ☆ ☆
99 Variations on a Proof
☆ ☆ ☆ ☆ ☆
Probability
☆ ☆ ☆ ☆ ☆
Bayesian Inference for Stochastic Processes
☆ ☆ ☆ ☆ ☆
Trigonometry Essentials Practice Workbook with Answers
☆ ☆ ☆ ☆ ☆
How to Think Like a Mathematician
☆ ☆ ☆ ☆ ☆
Analyzing Longitudinal Clinical Trial Data
☆ ☆ ☆ ☆ ☆
FREE
Introduction to Mathematical Philosophy
☆ ☆ ☆ ☆ ☆
FREE
The philosophy of mathematics
☆ ☆ ☆ ☆ ☆
FREE
A Treatise on Probability
☆ ☆ ☆ ☆ ☆
College Algebra
☆ ☆ ☆ ☆ ☆
Set Theory An Introduction To Independence Proofs
☆ ☆ ☆ ☆ ☆
Solving Problems in Geometry
☆ ☆ ☆ ☆ ☆
The King of Infinite Space : Euclid and His Elements
☆ ☆ ☆ ☆ ☆
Topics in Computational Number Theory Inspired by Peter L. Montgomery
☆ ☆ ☆ ☆ ☆
Solutions Manual to accompany Fundamentals of Matrix Analysis with Applications
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS