Writings

The Ph.D. thesis: Intuition Formalized: Ancient and Modern Methods of Proof in Elementary Euclidean Geometry

For a shorter introduction to the formalization developed in the thesis, you can read this paper (recently submitted to Synthese ).

For a review of a book which presents a similar formalization, click here. The review will appear in Philosophia Mathematica, 16(2), pp. 256-264.