موضوع فارسی :همسانی موثر مجتمع BI، رسمی در کو موضوع انگلیسی :Effective homology of bicomplexes, formalized in Coq تعداد صفحه :9 فرمت فایل :PDF سال انتشار :2011 زبان مقاله : انگلیسی در این مقاله، ما در حال حاضر به طور رسمی کامل در کو قضیه prover از مهمالگوریتم در جبر محاسباتی، یعنی محاسبه همسانی موثراز یک مجموعه بی. به عنوان یک ابزار لازم باشد، ما رمز یک سلسله مراتب از ساختارهای جبری در سازندهنظریه، از جمله ساختمان داده مدرج و بی نهایت را تایپ کنید. تجربه نشان می دهدچگونه برخی از محدودیت ه ...