Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-02614-0_4 | Calculemus/MKM |
Keywords | Field | DocType |
unwieldly large set,basic resuts,advanced mathematics,original domain,mathematical origin,widespread acceptance,protocol security verification,computer science,software engineering | Programming language,Software engineering,Computer science | Conference |
Volume | ISSN | Citations |
5625 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Georges Gonthier | 1 | 2275 | 195.06 |