-
the area method
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 782
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
the area method for euclidean constructive geometry was proposed by chou, gao and zhang in the early 1990’s. the method can efficiently prove many non-trivial geometry theorems and is one of the most interesting and most successful methods for automated theorem proving in geometry. the method produces proofs that are often very concise and human-readable. in this paper, we provide a first complete presentation of the method. we provide both algorithmic and implementation details that were omitted in the original presentations. we also give a variant of chou, gao and zhang’s axiom system. based on this axiom system, we proved formally all the lemmas needed by the method and its soundness using the coq proof assistant. to our knowledge, apart from the original implementation by the authors who first proposed the method, there are only three implementations more. although the basic idea of the method is simple, implementing it is a very challenging task because of a number of details that has to be dealt with. with the description of the method given in this paper, implementing the method should be still complex, but a straightforward task. in the paper we describe all these implementations and also some of their applications.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
طراحی بهینه حوضچه های بازداشت در حوضه های آبریز با استفاده از شبیه ساز سوات (swat) و الگوریتم بهینه ساز جامعه مورچگان چند هدفه
-
مهم ترین گیاهان دارویی در درمان افسردگی
-
پالایش ترکیبی خروجی ابزارهای خودکارشناسایی الگوهای طراحی در تشخیص الگوهای با ساختار مشابه
-
سرمایه اجتماعی و توسعه
-
بررسی کارایی فیلتر ماسه ای کند با جریان افقی در تصفیه آب
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
مقایسه ی ارتباط تعهد مذهبی با میزان پایداری ازدواج در دو گروه از زوجین متقاضی طلاق و عادی شهر تهران
-
مطالعه ای در دستگاه ساخت دیجیتال روکش های دندانی
-
تاثیر اهمیت صاحبکار بر کیفیت حسابرسی با توجه به چرخش اجباری حسابرس
-
تحلیل نگرش کارشناسان حقوقی به دلایل درخواست طلاق زوجین در دادگاه های خانواده شهر تهران
-
design and manufacture of fetal position detection device in pregnant women
سوال خود را در مورد این مقاله مطرح نمایید :