-
the area method
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 747
- تعداد پرسش و پاسخ ها: 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.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
ارتقای تعاملات اجتماعی در مجتمع های مسکونی، در جهت افزایش حس تعلق به مکان: ارائه راهکارهای طراحی معماری
-
بررسی تاثیر رنگ در محیط آموزشی برای کودکان مبتلا به اختلالات اوتیسم
-
تاثیر نور در فضاهای امن شهری
-
ژئوشیمی و محیط تکتونیکی لامپروفیرها و آندزی بازالت – بازالت های جنوب – غرب سلماس
-
معماری پایدار با رویکرد بومی سازی و تاثیر اقلیم بر آن (نمونه موردی سیستان)
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
اثربخشی روایت درمانی بر خودکارآمدی ادراک شده دانش آموزان دختر مبتلا به چاقی
-
انتشار تصاویر کودکان در فضای مجازی و تأثیر آن بر شخصیت سازی پیش از بلوغ ایشان، در پرتو حقوق ایران و مقررات بین المللی
-
واکاوی اسقاط خیار غَبن و تأثیر آن در سقوط میزان غَبن فاحش و اَفحَش
-
داوری در طلاق
-
sociological study of social problems of afghan refugees in yasooj city in 2015
سوال خود را در مورد این مقاله مطرح نمایید :