مشخصات کتاب

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

ویرایش:  
نویسندگان: Shang-Ching Chou,  Xiao-Shan Gao,  Jingzhong Zhang   
سری: Series on applied mathematics, v. 6 
ISBN (شابک) : 9810215843, 9789810215842 
ناشر: World Scientific 
سال نشر: 1994 
تعداد صفحات: 476 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

در صورت تبدیل فایل کتاب Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اثبات ماشین در هندسه: تولید اتوماتیک مدارک قابل خواندن برای قضیه هندسه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اثبات ماشین در هندسه: تولید اتوماتیک مدارک قابل خواندن برای قضیه هندسه

Pt. I. نظریه اثبات ماشین. 1. مقدمات هندسه. 2. روش منطقه. 3. اثبات ماشین در هندسه صفحه. 4. اثبات ماشین در هندسه جامد. 5. بردارها و اثبات ماشینی -- Pt. II. موضوعاتی از هندسه: مجموعه ای از 400 قضیه مکانیکی اثبات شده. 6. موضوعات از هندسه

توضیحاتی درمورد کتاب به خارجی

Pt. I. The Theory of Machine Proof. 1. Geometry Preliminaries. 2. The Area Method. 3. Machine Proof in Plane Geometry. 4. Machine Proof in Solid Geometry. 5. Vectors and Machine Proofs -- Pt. II. Topics From Geometry: A Collection of 400 Mechanically Proved Theorems. 6. Topics From Geometry

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Succeeding in the MRCGP CSA : common scenarios and revision notes for the Clinical Skills Assessment

دانلود کتاب Environmental Radiochemical Analysis IV

دانلود کتاب The Imperial Russian Navy. Its Past, Present and Future

دانلود کتاب Vizantijski izvori za istoriju naroda Jugoslavije Tom 2 - byzantine sources for the history of the peoples of Yugoslavia

دانلود کتاب Performance, Reliability, and Availability Evaluation of Computational Systems, Volume 2: Reliability, Availability Modeling