همسانی - پروژه ها

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