به نام خدا

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

Published in: ACM-SIGPLAN-SIGACT

Number of Pages: 2

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

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

دانلود مقاله

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

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

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