Name
Title | ||
|---|---|---|
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs |
Year | Venue | Keywords |
|---|---|---|
2005 | Algebraic and Numerical Algorithms and Computer-assisted Proofs | computer assisted proof |
Field | DocType | Citations |
Algebra,Computer science,Algebraic algorithms,Mathematical proof,Executive summary,Proof assistant | Conference | 0 |
PageRank | References | Authors |
0.34 | 1 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bruno Buchberger | 1 | 847 | 168.26 |
| Christian Jansson | 2 | 23 | 2.77 |
| Shin'ichi Oishi | 3 | 280 | 37.14 |
| Michael Plum | 4 | 9 | 2.71 |
| Siegfried M. Rump | 5 | 774 | 102.83 |