عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 J337 2001
QA76
.
9
.
A96
J337
2001
کتابخانه
محل استقرار
شابک
شابک
085729329X
شابک
9780857293299
شماره کتابشناسی ملی
شماره
b538147
عنوان و نام پديدآور
عنوان اصلي
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia.
نام عام مواد
[Book]
نام نخستين پديدآور
Jacques Fleuriot
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Springer London
تاریخ نشرو بخش و غیره
2001
مشخصات ظاهری
نام خاص و کميت اثر
(149 pages)
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
رده بندی کنگره
شماره رده
QA76
.
9
.
A96
نشانه اثر
J337
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Jacques Fleuriot
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
C J Van Rijsbergen
مستند نام اشخاص تاييد نشده
Jacques Fleuriot
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
