Engineering Mathematics: The Odd Order Theorem Proof
 
دانلود مقاله ISI
IranSci.IR


دانلود مقاله ISI سال 2013
پنجشنبه 13 تير 1392 :: نويسنده : همایون

به نام خدا

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

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

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

دانلود مقاله

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

 

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

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



برچسب ها : Paper Download ، ISI Paper Download ، Free ISI Paper Download ، IEEE Paper Download ، Science Direct Paper Download ، ACM Paper Download ، Springer Paper Download ، Free Paper ، ISI Download ، دانلود مقاله ، دانلود مقالات IEEE ، دانلود مقالات ISI ، دانلود رایگان مقاله IEEE ، دانلود رایگان مقاله ISI ، دانلود رایگان مقالات IEEE ، دانلود رایگان مقالات ISI ، دانلود مقاله از IEEE ، یوزرنیم و پسورد دانشگاه های معتبر ، دانلود رایگان مقاله مهندسی ، دانلود رایگان مقالات مهندسی ، دانلود رایگان مقاله Springer ، دانلود رایگان مقاله Science Direct ، دانلود رایگان مقاله ACM ، دانلود رایگان مقاله از ACM ، دانلود رایگان مقالات ACM ، دانلود مقاله آی اس آی ، دانلود رایگان مقاله آی اس آی ، دانلود مقالات آی اس آی ، دانلود رایگان مقالات آی اس آی ، یوزرنیم و پسورد سایتهای علمی ، دانلود رایگان مقاله ،
ارسال نظر
نام شما :
آدرس وب سایت :
پست الکترونیک :
پیام شما :
کد امنیتی :




آمار وبلاگ
  • افراد آنلاین : 1
  • بازدید امروز : 4
  • بازدید دیروز : 22
  • بازدید این هفته : 4
  • بازدید این ماه : 89
  • بازدید امسال : 8634
  • بازدید کل : 75051
  • تعداد پست ها : 127
  • تعداد نظرات : 0