دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
دانلود کتاب کاهش خودکار در هندسه: InternationalWorkshop سوم، ADG 2000 زوریخ، سوئیس، 25-27 سپتامبر 2000، مقالات تجدید چاپ
مشخصات کتاب
Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
ویرایش: 1 نویسندگان: Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (eds.) سری: Lecture Notes in Computer Science 2061 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783540425984, 3540425985 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 333 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب کاهش خودکار در هندسه: InternationalWorkshop سوم، ADG 2000 زوریخ، سوئیس، 25-27 سپتامبر 2000، مقالات تجدید چاپ: هوش مصنوعی (شامل رباتیک)، گرافیک کامپیوتری، منطق ریاضی و زبان های رسمی، تشخیص الگو، ریاضیات گسسته در علوم کامپیوتر، هندسه
در صورت تبدیل فایل کتاب Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاهش خودکار در هندسه: InternationalWorkshop سوم، ADG 2000 زوریخ، سوئیس، 25-27 سپتامبر 2000، مقالات تجدید چاپ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاهش خودکار در هندسه: InternationalWorkshop سوم، ADG 2000 زوریخ، سوئیس، 25-27 سپتامبر 2000، مقالات تجدید چاپ
این کتاب مجموعه مقالات پس از داوری کامل سومین کارگاه بین
المللی در مورد کسر خودکار در هندسه، ADG 2000، که در زوریخ،
سوئیس، در سپتامبر 2000 برگزار شد.
16 مقاله کامل اصلاح شده و دو مقاله دعوت شده ارائه شده با دقت
انتخاب شدند. انتشار طی دو دور بررسی و بازنگری از مجموع 31 ارسال
اولیه. از جمله مسائلی که به آنها پرداخته می‌شود، حل محدودیت‌های
مکانی، اثبات خودکار نابرابری‌های هندسی، اثبات جبری، برهان‌های
نیمه جبری، استدلال هندسی، هندسه مصنوعی محاسباتی، هندسه بروز، و
برهان‌های هندسی غیراستاندارد است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings
of the Third International Workshop on Automated Deduction in
Geometry, ADG 2000, held in Zurich, Switzerland, in September
2000.
The 16 revised full papers and two invited papers presented
were carefully selected for publication during two rounds of
reviewing and revision from a total of initially 31
submissions. Among the issues addressed are spatial constraint
solving, automated proving of geometric inequalities, algebraic
proof, semi-algebraic proofs, geometrical reasoning,
computational synthetic geometry, incidence geometry, and
nonstandard geometric proofs.
فهرست مطالب
On Spatial Constraint Solving Approaches....Pages 1-15
A Hybrid Method for Solving Geometric Constraint Problems....Pages 16-25
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study....Pages 26-40
A Practical Program of Automated Proving for a Class of Geometric Inequalities....Pages 41-57
Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving....Pages 58-82
Algebraic and Semialgebraic Proofs: Methods and Paradoxes....Pages 83-103
Remarks on Geometric Theorem Proving....Pages 104-128
The Kinds of Truth of Geometry Theorems....Pages 129-142
A Complex Change of Variables for Geometrical Reasoning....Pages 143-153
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition....Pages 154-174
Effective Methods in Computational Synthetic Geometry....Pages 175-192
Decision Complexity in Dynamic Geometry....Pages 193-198
Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method....Pages 199-227
Qubit Logic, Algebra and Geometry....Pages 228-245
Nonstandard Geometric Proofs....Pages 246-267
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization....Pages 268-305
Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry....Pages 306-323
