Engineering mathematics

  • Gonthier G
N/ACitations
Citations of this article
629Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Even with the assistance of computer tools, the formalized de-scription and verification of research-level mathematics remains a daunting task, not least because of the talent with which mathema-ticians combine diverse theories to achieve their ends. By combin-ing 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.

Cite

CITATION STYLE

APA

Gonthier, G. (2013). Engineering mathematics. ACM SIGPLAN Notices, 48(1), 1–2. https://doi.org/10.1145/2480359.2429071

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free