Formalization of Euclidean Geometry via Hilbert’s Axioms (Poster)

Authors: Mark Sandey, Harry Stoltz, Sudhir Murthy. Faculty mentor: Patricio Gallardo Candela.

View the poster (PDF)