All-purpose | Everything Else

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

by Jacques Fleuriot

2021-05-28 04:26:34

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.InA Combination of Geometry Theorem Proving and Nons... 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.
InA 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

ISBN9781852334666
autor-image
Jacques Fleuriot
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 194.95
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 194.95
Available Discount
No Discount available

Related Books

View All
Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal
☆ ☆ ☆ ☆ ☆
The Silent Woman (Cat Carlisle, Book 1)
☆ ☆ ☆ ☆ ☆
The Wonderful Things You Will Be
☆ ☆ ☆ ☆ ☆
Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs
☆ ☆ ☆ ☆ ☆
Twinkle, Twinkle, Little Star (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
Hurricane Season
☆ ☆ ☆ ☆ ☆
Good Night, Little Blue Truck
☆ ☆ ☆ ☆ ☆
Going to School
☆ ☆ ☆ ☆ ☆
Secrets Between Us: An absolutely gripping psychological thriller
☆ ☆ ☆ ☆ ☆
Can't Make This Stuff Up!: Finding the Upside to Life's Downs
☆ ☆ ☆ ☆ ☆
You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome
☆ ☆ ☆ ☆ ☆
Row, Row, Row Your Boat (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
We Are Not Friends (You Are Not Small)
☆ ☆ ☆ ☆ ☆
The Secret Wife: A captivating story of romance, passion and mystery
☆ ☆ ☆ ☆ ☆
House of Shadows: An Enthralling Historical Mystery
☆ ☆ ☆ ☆ ☆
Made for Me
☆ ☆ ☆ ☆ ☆
There Was an Old Lady Who Swallowed a Chick!
☆ ☆ ☆ ☆ ☆
American Moonshot: John F. Kennedy and the Great Space Race
☆ ☆ ☆ ☆ ☆
The Pout-Pout Fish
☆ ☆ ☆ ☆ ☆
Commander in Cheat: How Golf Explains Trump
☆ ☆ ☆ ☆ ☆
Life Will Be the Death of Me: ...And You Too!
☆ ☆ ☆ ☆ ☆
Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell
☆ ☆ ☆ ☆ ☆
The Book Club
☆ ☆ ☆ ☆ ☆
Falter: Has the Human Game Begun to Play Itself Out?
☆ ☆ ☆ ☆ ☆
Clean & Lean: 30 Days, 30 Foods, a New You!
☆ ☆ ☆ ☆ ☆

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