فایل پی دی اف کامل مقاله قضیه با کمک یادگیری با میلیون ها اثبات از لیما PDF

توجه : این فایل به صورت فایل PDF (پی دی اف) ارائه میگردد

 فایل پی دی اف کامل مقاله قضیه با کمک یادگیری با میلیون ها اثبات از لیما PDF دارای ۲۰ صفحه می باشد و دارای تنظیمات و فهرست کامل در PDF می باشد و آماده پرینت یا چاپ است

فایل پی دی اف فایل پی دی اف کامل مقاله قضیه با کمک یادگیری با میلیون ها اثبات از لیما PDF  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی فایل پی دی اف کامل مقاله قضیه با کمک یادگیری با میلیون ها اثبات از لیما PDF،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از متن فایل پی دی اف کامل مقاله قضیه با کمک یادگیری با میلیون ها اثبات از لیما PDF :

دانلود فایل پی دی اف کامل مقاله قضیه با کمک یادگیری با میلیون ها اثبات از لیما PDF

موضوع انگلیسی:Learning-assisted theorem proving with millions
of lemmas
زبان: انگلیسی
فرمت فایل: pdf
تعداد صفحه:۲۰
سال انتشار:۲۰۱۵

چکیده

کتابخانه های بزرگ رسمی ریاضی شامل میلیون ها کتاب اتمی است
مراحل استنتاج که منجر به تعداد متناظر اثبات شده می شود
بیانیه ها (لماس). مشابه ریاضیات غیررسمی
در عمل ، فقط بخش کوچکی از این جملات نامگذاری شده و در اثبات های بعدی توسط ریاضیدانان رسمی مورد استفاده مجدد قرار گرفته است. در این کار ، ما
پیشنهاد و پیاده سازی معیارهایی برای تعیین سودمندی تخمینی
لمس های HOL Light برای اثبات قضایای بیشتر. ما استفاده می کنیم
این معیارها برای استخراج نمودار استنباط بزرگ لماس است
در کتابخانه های HOL Light و Flyspeck ، میلیون ها نفر اضافه می شوند
از بهترین لمس ها به مجموعه جملاتی است که می توان در اثبات های بعدی مجدداً از آنها استفاده کرد. ما نشان می دهیم که در ترکیب با فیلترینگ ارتباط مبتنی بر یادگیری ، چنین روش هایی به طور قابل توجهی تقویت می شوند
قضیه خودکار اثبات حدس های جدید در مورد رسمی بزرگ
کتابخانه های ریاضی مانند Flyspeck