Name
Title | ||
|---|---|---|
09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications. |
Year | Venue | Field |
|---|---|---|
2009 | Computer-assisted proofs - tools, methods and applications | Informatics,World Wide Web,Computer science,Theoretical computer science,Mathematical proof |
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 | 2332 | 261.40 |
| Shin'ichi Oishi | 3 | 280 | 37.14 |
| Siegfried M. Rump | 4 | 774 | 102.83 |