Minecraft Adventures B2G1 Free
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | August 18, 2015

    Rinker Buck: IMG Just Passing Through: Embracing the Covered Wagon Mind-Set



    When people learn that I recently spent a long summer riding 2,000 miles across the Oregon Trail in a covered wagon pulled by mules, they invariably... Continue »
    1. $19.60 Sale Hardcover add to wish list

    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.