Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Formalization of the arithmetization of Euclidean plane geometry and applications. | 0 | 0.34 | 2019 |
| A synthetic proof of Pappus' theorem in Tarski's geometry | 2 | 0.38 | 2017 |
| From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. | 4 | 0.42 | 2016 |
| From Tarski to Hilbert. | 4 | 0.71 | 2012 |