X
تبلیغات
نماشا
رایتل

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

IranSci.IR
پنج‌شنبه 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

Published in: ACM-SIGPLAN-SIGACT

Number of Pages: 2

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

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

دانلود مقاله

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

 

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

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

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