Summer Reading Sale
 
 

Recently Viewed clear list


The Powell's Playlist | June 18, 2014

Daniel H. Wilson: IMG The Powell’s Playlist: Daniel H. Wilson



Like many writers, I'm constantly haunting coffee shops with a laptop out and my headphones on. I listen to a lot of music while I write, and songs... Continue »

spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

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

by

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

 

Synopses & Reviews

Publisher Comments:

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.

Product Details

ISBN:
3330000229623
Publisher:
Springer
Subject:
Geometry - General
Author:
Fleuriot, Jacques
Subject:
Automatic theorem proving
Subject:
Nonstandard mathematical analysis
Subject:
Newton, Isaac
Subject:
Expert Systems
Subject:
General
Subject:
Computer Science
Subject:
Operating Systems - General
Subject:
Artificial Intelligence
Subject:
automated reasoning
Subject:
Geometry
Subject:
Mechanical Theorem
Subject:
Mechanised analysis
Subject:
Newton s principia
Subject:
Mathematics of Computing
Subject:
Data processing
Subject:
main_subject
Subject:
all_subjects
Publication Date:
2001
Binding:
ELECTRONIC
Language:
English
Pages:
140

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Operating Systems » General
Science and Mathematics » Mathematics » Analysis General
Science and Mathematics » Mathematics » Geometry » Geometry and Trigonometry

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
0 stars - 0 reviews
$ In Stock
Product details 140 pages Springer - English 3330000229623 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.