Bibliography

Primary treatises, foundational monographs, and software repositories audited in GEOMETOR Codes.

EuclidHeath1908

Heath, Thomas L., trans. The Thirteen Books of Euclid’s Elements. 3 vols. Cambridge: Cambridge University Press, 1908 (2nd ed. 1926).

Byrne1847

Byrne, Oliver. The First Six Books of the Elements of Euclid in which Coloured Diagrams and Symbols are Used Instead of Letters for the Greater Ease of Learners. London: William Pickering (printed by Charles Whittingham, Chiswick Press), 1847.

Rougeux2018

Rougeux, Nicholas. Byrne’s Euclid: The First Six Books of the Elements of Euclid with Coloured Diagrams and Symbols. Interactive SVG/Web Edition, https://www.c82.net/euclid/, 2018.

Hilbert1899

Hilbert, David. Grundlagen der Geometrie. Leipzig: B. G. Teubner, 1899.

Lemoine1902

Lemoine, Émile. La Géométrographie ou l’art des constructions géométriques. Scientia #18. Paris: C. Naud, 1902.

Hoenen1954

Hoenen, Petrus H. J., S.J. De Noetica Geometriae: Origine Theoriae Cognitionis. Analecta Gregoriana #63. Rome: Pontificia Università Gregoriana, 1954.

Schwabhauser1983

Schwabhäuser, Wolfram, Wanda Szmielew, and Alfred Tarski. Metamathematische Methoden in der Geometrie. Berlin: Springer-Verlag, 1983.

ChouGaoZhang1994

Chou, Shang-Ching, Xiao-Shan Gao, and Jing-Zhong Zhang. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. Singapore: World Scientific, 1994.

Kimberling1998

Kimberling, Clark. Triangle Centers and Central Triangles. Congressus Numerantium #129 (1998), and Encyclopedia of Triangle Centers (ETC).

Wildberger2005

Wildberger, Norman J. Divine Proportions: Rational Trigonometry to Universal Geometry. Sydney: Wild Egg Books, 2005.

DorstFontijneMann2007

Dorst, Leo, Daniel Fontijne, and Stephen Mann. Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry. San Francisco: Morgan Kaufmann, 2007.

AvigadDeanMumma2009

Avigad, Jeremy, Edward Dean, and John Mumma. ‘A Formal System for Euclid’s Elements.’ The Review of Symbolic Logic 2, no. 4 (2009): 700–768.

YeChouGao2011

Ye, Zheng, Shang-Ching Chou, and Xiao-Shan Gao. ‘An Introduction to Java Geometry Expert.’ In Automated Deduction in Geometry (ADG 2008), LNCS 6301, 189–195. Berlin: Springer, 2011.

RichterGebert2011

Richter-Gebert, Jürgen. Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry. Berlin: Springer, 2011.

Boutry2019

Boutry, Pierre, Gabriel Braun, Cédric Coghetto, Julien Narboux, and Pascal Schreck. GeoCoq: A Formalization of Foundations of Geometry in Coq. https://geocoq.github.io/GeoCoq/, 2019–2025.

Gunn2020

Gunn, Charles, and Steven De Keninck. ‘Projective Geometric Algebra: A New Framework for Doing Euclidean Geometry.’ bivector.net & kingdon library, 2020–2025.

Mathlib2020

The mathlib Community. ‘The Lean Mathematical Library.’ Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020), 367–381.

Murphy2024

Murphy, Logan, Kaiyu Yang, Sunayana Rane, Robert Joseph George, and Vijay Ganesh. ‘Autoformalizing Euclidean Geometry (LeanEuclid).’ ICML 2024.

Trinh2024

Trinh, Trieu H., Yuhuai Wu, Quoc V. Le, He He, and Thang Luong. ‘Solving Olympiad Geometry Without Human Demonstrations (AlphaGeometry).’ Nature 625 (2024): 476–482.

Sicca2024

Sicca,Vladmir, et al. Newclid & Yuclid: A Modular Neuro-Symbolic Framework for Olympiad Geometry. https://github.com/LMCRC/Newclid, 2024–2025.