تبلیغات
دانلود رایگان مقالات IEEE و Springer و Science Driect و ACM - Engineering Mathematics: The Odd Order Theorem Proof
 
دانلود رایگان مقالات IEEE و Springer و Science Driect و ACM

به نام خدا

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

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

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

دانلود مقاله

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

 

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

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





نوع مطلب :
برچسب ها : دانلود مقاله، دانلود مقالات IEEE، دانلود مقالات ISI، دانلود رایگان مقاله IEEE، دانلود رایگان مقاله ISI، دانلود رایگان مقالات IEEE، دانلود رایگان مقالات ISI، دانلود مقاله از IEEE، یوزرنیم و پسورد دانشگاه های معتبر، دانلود رایگان مقاله مهندسی، دانلود رایگان مقالات مهندسی، دانلود رایگان مقاله Springer، دانلود رایگان مقاله Science Direct، دانلود رایگان مقاله ACM، دانلود رایگان مقاله از ACM، دانلود رایگان مقالات ACM، دانلود مقاله آی اس آی، دانلود رایگان مقاله آی اس آی، دانلود مقالات آی اس آی، دانلود رایگان مقالات آی اس آی، یوزرنیم و پسورد سایتهای علمی، دانلود رایگان مقاله، 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،
لینک های مرتبط :
یکشنبه 26 شهریور 1396 01:02 ق.ظ
Wonderful blog you have here but I was wanting to know
if you knew of any discussion boards that cover the
same topics talked about here? I'd really love to
be a part of group where I can get suggestions from
other experienced people that share the same interest.
If you have any recommendations, please let me know.
Thanks!
جمعه 10 شهریور 1396 01:26 ب.ظ
Appreciate the recommendation. Will try it out.
 
لبخندناراحتچشمک
نیشخندبغلسوال
قلبخجالتزبان
ماچتعجبعصبانی
عینکشیطانگریه
خندهقهقههخداحافظ
سبزقهرهورا
دستگلتفکر





آمار وبلاگ
  • کل بازدید :
  • بازدید امروز :
  • بازدید دیروز :
  • بازدید این ماه :
  • بازدید ماه قبل :
  • تعداد نویسندگان :
  • تعداد کل پست ها :
  • آخرین بازدید :
  • آخرین بروز رسانی :
امکانات جانبی
 
 
بالای صفحه