Name
Title | ||
|---|---|---|
09471 Executive Summary - Computer-assisted proofs - tools, methods and applications. |
Year | Venue | Field |
|---|---|---|
2009 | Computer-assisted proofs - tools, methods and applications | Programming language,Software engineering,Computer science,Symbolic computation,Mathematical proof,Executive summary |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| B. Malcolm Brown | 1 | 0 | 0.68 |
| Erich Kaltofen | 2 | 0 | 0.34 |
| Shin'ichi Oishi | 3 | 280 | 37.14 |
| Siegfried M. Rump | 4 | 774 | 102.83 |