## References

Avigad, J., E. Dean. and J. Mumma. A formal system for Euclidâ€™s Elements.

*Review of Symbolic Logic*, 2(4): 700-768. 2009.Beeson, Michael . A constructive version of Tarski's geometry.

*Annals of Pure and Applied Logic*, 166(11): 1199-1273. 2015.Beeson, Michael . Proof and computation in geometry. In

*International Workshop on Automated Deduction in Geometry*. Springer Berlin Heidelberg, 2012.Beeson, Michael . Constructive geometry. In

*Proceedings of the Tenth Asian Logic Colloquium*, Kobe, Japan. 2010.Beeson, Michael .

*Foundations of Constructive Euclidean Geometry*. 2009.Heath, Thomas Little, ed.

*The thirteen books of Euclid's Elements*. Courier Corporation, 1956.Hilbert, David.

*The foundations of geometry*. Open court publishing Company, 1902.Proclus.

*Proclus, A Commentary on the First Book of Euclid's Elements*, translated by Glenn R. Morrow. (Princeton 1970).Tarski, Alfred. What is elementary geometry?.

*Studies in Logic and the Foundations of Mathematics*27 (1959): 16-29.Tarski, Alfred and Givant, Steven. Tarski's System of Geometry.

*The Bulletin of Symbolic Logic*5, no. 2 (1999): 175-214.

The interactive diagrams were drawn using the Javascript library JSXGraph.

Index