A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia Image close
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia on Hardback by Jacques Fleuriot
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia on Hardback by Jacques Fleuriot
Show Hide Adult Content
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Geometry

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

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$273.99
RRP:
$318.95 save $44.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $68.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Distinguished Dissertations

See all products in this series

Accurate Visual Metrology from Single and Multiple Uncalibrated Images by Antonio Criminisi Save $52
$263.99
$316.95
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
by Antonio Criminisi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia by Jacques Fleuriot
$263.99
A Combination of Geometry Theorem Proving and Nonstandard Analysis...
by Jacques Fleuriot ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Randomized Algorithms: Approximation, Generation, and Counting by Russ Bubley
$263.99
Randomized Algorithms: Approximation, Generation, and Counting
by Russ Bubley ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Accurate Visual Metrology from Single and Multiple Uncalibrated Images on Hardback by Antonio Criminisi Save $36
$265.99
$302.95
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
by Antonio Criminisi ~ Hardback
Available - Usually ships in 3-4 weeks
User-Developer Cooperation in Software Development by Eamonn O'Neill
$265.99
User-Developer Cooperation in Software Development
by Eamonn O'Neill ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Theorem Proving with the Real Numbers by John Harrison
$263.99
Theorem Proving with the Real Numbers
by John Harrison ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Strength or Accuracy: Credit Assignment in Learning Classifier Systems by Tim Kovacs
$405.99
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
by Tim Kovacs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Image Mosaicing and Super-resolution by David Capel Save $38
$263.99
$302.95
Image Mosaicing and Super-resolution
by David Capel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Games and Full Abstraction for a Functional Metalanguage with Recursive Types on Hardback by Guy McCusker
$239.99
Games and Full Abstraction for a Functional Metalanguage with...
by Guy McCusker ~ Hardback
Available - Usually ships in 3-4 weeks
Inheritance Relationships for Disciplined Software Construction on Hardback by Tracy A. Gardner
$238.99
Inheritance Relationships for Disciplined Software Construction
by Tracy A. Gardner ~ Hardback
Available - Usually ships in 3-4 weeks
Automated Theory Formation in Pure Mathematics on Hardback by Simon Colton Save $68
$287.99
$356.95
Automated Theory Formation in Pure Mathematics
by Simon Colton ~ Hardback
Available - Usually ships in 3-4 weeks
Hardware Evolution by Adrian Thompson
$263.99
Hardware Evolution
by Adrian Thompson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Image Mosaicing and Super-resolution on Hardback by David Capel Save $36
$265.99
$302.95
Image Mosaicing and Super-resolution
by David Capel ~ Hardback
Available - Usually ships in 3-4 weeks
User-Developer Cooperation in Software Development on Hardback by Eamonn O'Neill Save $65
$268.99
$334.95
User-Developer Cooperation in Software Development
by Eamonn O'Neill ~ Hardback
Available - Usually ships in 3-4 weeks
Automated Theory Formation in Pure Mathematics by Simon Colton Save $88
$267.99
$356.95
Automated Theory Formation in Pure Mathematics
by Simon Colton ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning by Ian Miguel Save $36
$265.99
$302.95
Dynamic Flexible Constraint Satisfaction and its Application to AI...
by Ian Miguel ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
June 8th, 2001
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
XIII, 140 p.
Pages
140
Dimensions
156x234x11
ISBN-13
9781852334666
Product ID
5822652

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Geometry
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists