دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
دانلود کتاب کسر خودکار در هندسه: دهمین کارگاه بین المللی ، ADG 2014 ، کویمبرا ، پرتغال ، 9-11 ژوئیه 2014 ، مقالات منتخب بازبینی شده
مشخصات کتاب
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
ویرایش: 1
نویسندگان: Francisco Botana. Pedro Quaresma (eds.)
سری: Lecture Notes in Computer Science 9201
ISBN (شابک) : 9783319213613, 9783319213620
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 191
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب کسر خودکار در هندسه: دهمین کارگاه بین المللی ، ADG 2014 ، کویمبرا ، پرتغال ، 9-11 ژوئیه 2014 ، مقالات منتخب بازبینی شده: هوش مصنوعی (شامل رباتیک)، گرافیک کامپیوتری، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری، ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کسر خودکار در هندسه: دهمین کارگاه بین المللی ، ADG 2014 ، کویمبرا ، پرتغال ، 9-11 ژوئیه 2014 ، مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کسر خودکار در هندسه: دهمین کارگاه بین المللی ، ADG 2014 ، کویمبرا ، پرتغال ، 9-11 ژوئیه 2014 ، مقالات منتخب بازبینی شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی دهمین کارگاه بین‌المللی کسر خودکار در هندسه، ADG 2014 است که در ژوئیه 2014 در کویمبرا، پرتغال برگزار شد. 11 مقاله کامل اصلاح شده ارائه شده در این جلد با دقت از 20 ارسال. این مقالات مجموعه روند تحقیقات فعلی در استدلال خودکار در هندسه را نشان می دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
فهرست مطالب
Front Matter....Pages I-IX
Star-Unfolding Polygons....Pages 1-20
Volume Frameworks and Deformation Varieties....Pages 21-36
Recent Advances in Real Geometric Reasoning....Pages 37-52
The Relation Tool in GeoGebra 5....Pages 53-71
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems....Pages 72-93
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons....Pages 94-107
Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties....Pages 108-118
Current Status of the I2GATP Common Format....Pages 119-128
On Flattenability of Graphs....Pages 129-148
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams....Pages 149-165
Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems....Pages 166-180
Back Matter....Pages 181-181
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Innovators Behind Leonardo: The True Story of the Scientific and Technological Renaissance
دانلود کتاب Official IELTS Practice Materials
دانلود کتاب Sprache in Mensch und Computer: Kognitive und neuronale Sprachverarbeitung
دانلود کتاب Life in the Universe: A Beginner's Guide
