دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Susanne Apel, Jürgen Richter-Gebert (auth.), Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.) سری: Lecture Notes in Computer Science 6877 Lecture Notes in Artificial Intelligence ISBN (شابک) : 3642250696, 364225070X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 268 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب کسر خودکار در هندسه: هشتمین کارگاه بین المللی، ADG 2010، مونیخ، آلمان، 22-24 ژوئیه، 2010، مقالات منتخب اصلاح شده: هوش مصنوعی (شامل رباتیک)، گرافیک کامپیوتری، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری، ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کسر خودکار در هندسه: هشتمین کارگاه بین المللی، ADG 2010، مونیخ، آلمان، 22-24 ژوئیه، 2010، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کارگاه آموزشی هشتمین کارگاه بین المللی کسر خودکار در هندسه، ADG 2010 است که در ژوئیه 2010 در مونیخ، آلمان برگزار شد. در طی دو دور بررسی و بهبود از سخنرانی های ارائه شده در کارگاه انتخاب شده است. موضوعات پرداخته شده توسط مقالات هندسه وقوع با استفاده از نوعی استدلال ترکیبی است. جبر کامپیوتری; پیاده سازی نرم افزار؛ و همچنین دستیاران منطق و اثبات.
This book constitutes the thoroughly refereed post-workshop
proceedings of the 8th International Workshop on Automated
Deduction in Geometry, ADG 2010, held in Munich, Germany in
July 2010.
The 13 revised full papers presented were carefully selected
during two rounds of reviewing and improvement from the
lectures given at the workshop. Topics addressed by the
papers are incidence geometry using some kind of combinatoric
argument; computer algebra; software implementation; as well
as logic and proof assistants.
Front Matter....Pages -
Cancellation Patterns in Automatic Geometric Theorem Proving....Pages 1-33
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL....Pages 34-50
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry....Pages 51-67
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System....Pages 68-77
Proof Documents for Automated Origami Theorem Proving....Pages 78-97
The Midpoint Locus of a Triangle in a Corner....Pages 98-117
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry....Pages 118-131
What Is a Line ?....Pages 132-151
On One Method of Proving Inequalities in Automated Way....Pages 152-168
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)....Pages 169-181
An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time....Pages 182-200
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs....Pages 201-220
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method....Pages 221-258
Back Matter....Pages -