Despite its mathematical origins, progress in computer assisted reasoning has mostly been driven by applications in computer science, like hardware or protocol security verification. Paradoxically, it has yet to gain widespread acceptance in its original domain of application, mathematics; this is commonly attributed to a "lack of libraries": attempts to formalize advanced mathematics get bogged down into the formalization of an unwieldly large set of basic resuts. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Gonthier, G. (2009). Software engineering for mathematics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5625 LNAI, p. 27). https://doi.org/10.1007/978-3-642-02614-0_4
Mendeley helps you to discover research relevant for your work.