-
custom automations in mizar
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 793
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
the central aim of the mizar project is to produce strictly formalized mathematical statements with mechanically certified proofs. when writing a mizar formalization, a significant amount of the user’s time typically goes into browsing the mizar mathematical library (mml) for the already-proved results he needs. here a few techniques to reduce this time are illustrated.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
طراحی بهینه پل های خرپایی با استفاده از الگوریتم کرم ابریشم
-
ارزیابی تاثیر احداث سد زیردان بر کاهش خسارات ناشی از سیلاب در رودخانه کاجو
-
معماری سیستم هوشمند و مجازی پایش و سرویس دهی مراکز خدمات توریستی و اتومبیل کرایه
-
نقش مراکز قدرت در پیکره بندی اپیستمه و تاثیر آن بر اقتصاد هنر
-
انواع راکتورهای مورد استفاده در فرآیندهای اکسیداسیون پیشرفته
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی رقابت غیر منصفانه در حقوق موضوعه ایران با تطبیق به فقه امامیه و کنوانسیون پاریس
-
آسایش مسافران در کاروانسراهای مناطق کویری با تدابیر معمارانه
-
دشمن شناسی و مقابله در جنگ نرم از منظر نهج البلاغه با مطالعه موردی شایعه پراکنی
-
گستره ی زمانی و موردی تقیه با تکیه بر آراء صاحب جواهر
-
بررسی تاثیر شبکه های اجتماعی بر استراتژی تشخیص فرصت های کارآفرینی
سوال خود را در مورد این مقاله مطرح نمایید :