|
" Boston firsts : "
Lynda Morgenroth.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
718459
|
| Doc. No
|
:
|
b538147
|
| Main Entry
|
:
|
Jacques Fleuriot
|
| Title & Author
|
:
|
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia.\ Jacques Fleuriot
|
| Publication Statement
|
:
|
London: Springer London, 2001
|
| Page. NO
|
:
|
(149 pages)
|
| ISBN
|
:
|
085729329X
|
|
|
:
|
: 9780857293299
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
QA76.9.A96J337 2001
|
| Added Entry
|
:
|
C J Van Rijsbergen
|
|
|
:
|
Jacques Fleuriot
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
|
|
:
|
|
| |