دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.) سری: Lecture Notes in Computer Science 7993 ISBN (شابک) : 9783642406713, 9783642406720 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 201 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب کاهش خودکار در هندسه: 9th Workshop International، ADG 2012، ادینبورگ، انگلستان، 17-19 سپتامبر 2012. مقالات منتخب بازبینی شده: هوش مصنوعی (شامل رباتیک)، گرافیک کامپیوتری، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری، ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاهش خودکار در هندسه: 9th Workshop International، ADG 2012، ادینبورگ، انگلستان، 17-19 سپتامبر 2012. مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کارگاه آموزشی نهمین کارگاه بین المللی کسر خودکار در هندسه، ADG 2012، که در سپتامبر 2012 در ادینبورگ، انگلستان برگزار شد، تشکیل شده است. در طی دو دور بررسی و بهبود از سخنرانی های ارائه شده در کارگاه انتخاب شده است. این کنفرانس نشاندهنده انجمنی برای تبادل ایدهها و دیدگاهها، ارائه نتایج و پیشرفت تحقیقات، و نشان دادن ابزارهای نرمافزاری در تقاطع هندسه و کسر خودکار است. علاوه بر این، دامنه ADG 2012 برای پوشش موضوعات هندسه پویا گسترش یافته است.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
Front Matter....Pages -
Proof and Computation in Geometry....Pages 1-30
Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge Management....Pages 31-32
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization....Pages 33-47
Extending the Descartes Circle Theorem for Steiner n -Cycles....Pages 48-58
Equation Systems with Free-Coordinates Determinants....Pages 59-70
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls....Pages 71-88
From Tarski to Hilbert....Pages 89-109
Realizations of Volume Frameworks....Pages 110-119
Rigidity of Origami Universal Molecules....Pages 120-142
Algebraic Analysis of Huzita’s Origami Operations and Their Extensions....Pages 143-160
On the Formal Analysis of Geometrical Optics in HOL....Pages 161-180
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs....Pages 181-192
Back Matter....Pages -