منو
رکورد قبلیرکورد بعدی

" Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia. "


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.A96‬‭J337 2001‬
Added Entry : C J Van Rijsbergen
: Jacques Fleuriot
copyhttps://lib.clisel.com/site/catalogue/718459
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟