Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Algebra and Number Theory
Reference17 articles.
1. Alexandrinus, H.: Opera Quae Supersunt Omnia, volume iii. Teubner, Leipzig. Editor: Hermann Schöne. English translation by Henry Mendell available on the Web (1903)
2. Baldwin, J.: Axiomatizing changing conceptions of the geometric continuum I: Euclid-Hilbert. Philos. Math. 26(3), 346–374 (2018)
3. Beeson, M.: Euclid after computer proof-checking. Am. Math. Mon. (2022). https://doi.org/10.1080/00029890.2022.2069985
4. Beeson, M., Narboux, J., Wiedijk, F.: Proof-checking Euclid. Ann. Math. Artif. Intell. 85(2), 213–257 (2019)
5. Bolzano, B.: Beiträge zu einer begründeteren Darstellung der Mathematik. Caspar Widtmann, Prague English translation in [Ewald (1996)], pp. 174–224 (1810)