دانلود مقالات ISI

پنج‌شنبه 13 تیر‌ماه سال 1392

Engineering Mathematics: The Odd Order Theorem Proof

به نام خدا

Title: Engineering Mathematics: The Odd Order Theorem Proof

Authors: Georges Gonthier

Abstract: Even with the assistance of computer tools, the formalized description and verification of research-level mathematics remains a daunting task, not least because of the talent with which mathematicians combine diverse theories to achieve their ends. By combining tools and techniques from type theory, language design, and software engineering we have managed to capture enough of these practices to formalize the proof of the Odd Order theorem, a landmark result in Group Theory.   

Publish Year: 2013


Number of Pages: 2

موضوع: ریاضی مهندسی

مشاهده صفحه اول مقاله

دانلود مقاله

لینک مقاله در سایت ناشر


ایران سای – مرجع مقالات علمی فنی مهندسی

حامی دانش بومی ایرانیان

برچسب‌ها: دانلود مقاله، دانلود مقالات ISI، دانلود مقاله آی اس آی، دانلود رایگان مقاله، دانلود رایگان مقاله ACM