فی توو

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

فی توو

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

دانلود مقاله ISI همسانی موثر مجتمع BI، رسمی در کو

اختصاصی از فی توو دانلود مقاله ISI همسانی موثر مجتمع BI، رسمی در کو دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :همسانی موثر مجتمع BI، رسمی در کو

موضوع انگلیسی :Effective homology of bicomplexes, formalized in Coq

تعداد صفحه :9

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

 

در این مقاله، ما در حال حاضر به طور رسمی کامل در کو قضیه prover از مهم
الگوریتم در جبر محاسباتی، یعنی محاسبه همسانی موثر
از یک مجموعه بی. به عنوان یک ابزار لازم باشد، ما رمز یک سلسله مراتب از ساختارهای جبری در سازنده
نظریه، از جمله ساختمان داده مدرج و بی نهایت را تایپ کنید. تجربه نشان می دهد
چگونه برخی از محدودیت های دستیار اثبات کو برای مقابله با این نوع از داده های جبری می
شود با استفاده از یک جدایی از نگرانی اصل غلبه بر. مشخص تر، ما پیشنهاد
به تشخیص در نمایندگی از یک ساختار جبری (مانند یک گروه یا یک ماژول)
بخش رفتاری، حاوی امضا عملیات و بدیهیات، و یک بخش ساختاری
تعیین اگر داده های جبری رایگان، از نوع محدود و غیره است.

 


دانلود با لینک مستقیم


دانلود مقاله ISI همسانی موثر مجتمع BI، رسمی در کو
نظرات 0 + ارسال نظر
امکان ثبت نظر جدید برای این مطلب وجود ندارد.