Name
Abstract | ||
|---|---|---|
In particular the definition of sqrt below comes from this library. Answers by John Rushby. Statement NOT Rational?(sqrt(2)) |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/11542384_5 | The Seventeen Provers of the World |
Keywords | DocType | ISBN |
John Rushby | Conference | 3-540-30704-4 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bart Jacobs | 1 | 0 | 0.34 |
| John Rushby | 2 | 2459 | 235.69 |