Analytic Foundations of Euclidean Geometry
Topics in Analytic Foundations of Euclidean Geometry
Numbered in the order to learn them.
Euclidean Foundations: Coordinates, Lines, Betweenness, and Orthogonality
Euclidean Geometry: Grids and Area Measures
Euclidean Geometry: Developing Planar Distances and Circles
Euclidean Foundations: Arcs, Sectors, and Angle Measures
Euclidean Foundations: A Note on Trigonometry
Euclidean Foundations: Verifying the Basic Isometries
Euclidean Foundations: Properties of Similarities
Extending Analytic Foundations of Euclidean Geometry to Higher Dimensions