Name
Abstract | ||
|---|---|---|
Statement irrational (sqrt 2%nat). |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/11542384_6 | The Seventeen Provers of the World |
DocType | ISBN | Citations |
Conference | 3-540-30704-4 | 0 |
PageRank | References | Authors |
0.34 | 1 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Laurent Théry | 1 | 456 | 41.21 |
| Pierre Letouzey | 2 | 143 | 8.84 |
| Georges Gonthier | 3 | 2275 | 195.06 |