phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč GLS courier 64 Kč Zásilkovna 44 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

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

Language EnglishEnglish
Book Paperback
Book A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia Jacques Fleuriot
Libristo code: 05257363
Publishers Springer, Berlin, November 2011
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style... Full description
? points 290 b
2 902 Kč
Low in stock at our supplier Shipping in 10-14 days

30-day return policy

You might also be interested in

Constitutional Law Kevin Saunders / Paperback
common.buy 1 578 Kč
Advances in Financial Planning and Forecasting C. -F Lee / Hardback
common.buy 4 577 Kč
Contemporary Literary Criticism Christina Fisanik / Hardback
common.buy 15 693 Kč
Climate Change Stephen Peake / Paperback
common.buy 1 622 Kč
Homburg Beauty, a Novel Mary E. Kennard / Paperback
common.buy 561 Kč
Alternatives to Capitalism: The Economics of Partnership Avril Alba / Hardback
common.buy 2 902 Kč
Comparative Ocean Governance Robin Kundis Craig / Hardback
common.buy 2 783 Kč

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.

About the book

Full name A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Author Jacques Fleuriot
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 140
EAN 9781447110415
ISBN 1447110412
Libristo code 05257363
Publishers Springer, Berlin
Weight 254
Dimensions 155 x 8 x 235

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Mathematics & Science > Mathematics > Geometry
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account