Name
Title | ||
|---|---|---|
Introduction to <Emphasis Type="Italic">Milestones in Interactive Theorem Proving</Emphasis> |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1007/s10817-018-9465-5 | Journal of Automated Reasoning |
Field | DocType | Volume |
Discrete mathematics,Milestone (project management),Mathematics,Calculus,Proof assistant | Journal | 61 |
Issue | ISSN | Citations |
1-4 | 1573-0670 | 2 |
PageRank | References | Authors |
0.40 | 20 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jeremy Avigad | 1 | 462 | 43.47 |
| Jasmin Christian Blanchette | 2 | 530 | 39.61 |
| Gerwin Klein | 3 | 1450 | 87.47 |
| Lawrence C. Paulson | 4 | 2929 | 265.05 |
| Andrei Popescu | 5 | 454 | 40.04 |
| Gregor Snelting | 6 | 982 | 94.40 |