|
" 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
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
|
:
|
|
| |