عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 J337 2001
QA76
.
9
.
A96
J337
2001
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
085729329X
(Number (ISBN
9780857293299
NATIONAL BIBLIOGRAPHY NUMBER
Number
b538147
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia.
General Material Designation
[Book]
First Statement of Responsibility
Jacques Fleuriot
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Springer London
Date of Publication, Distribution, etc.
2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(149 pages)
CONTENTS NOTE
Text of Note
Distinguished Dissertations; A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia; Copyright; Preface; Contents; List of Figures; 1. Introduction; 2. Geometry Theorem Proving; 3. Constructing the Hyperreals; 4. Infinitesimal and Analytic Geometry; 5. Mechanizing Newton's Principia; 6. Nonstandard Real Analysis; 7. Conclusions; Bibliography; Index.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
J337
2001
PERSONAL NAME - PRIMARY RESPONSIBILITY
Jacques Fleuriot
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
C J Van Rijsbergen
Jacques Fleuriot
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
