1. Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid’s Elements. Rev. Symb. Log. 2(4), 700–768 (2009)
2. Baulac, Y., Bellemain, F., Laborde, J.M.: Cabri Geometry II. Dallas, Texas Instruments (1994)
3. Bernat, P.: Using dynamic geometry environments for problem solving: CHYPRE: an interactive environment for elementary geometry problem solving. Abstract of a presentation at The 8th International Congress on Math Education (ICME 8). Retrieved 06.08.13, from, http://mathforum.org/mathed/seville/bernat/abst∖_bernat.html . Seville (1996)
4. Bertot, Y., Guilhot, F., Pottier, L.: Visualizing geometrical statements with GeoView. Electr. Notes Theor. Comput. Sci. 103, 49–65 (2004)
5. Botana F., Kovács, Z., Recio, T., Weitzhofer, S.: Implementing theorem proving in GeoGebra by using a Singular webservice, or by exact check of a statement in a bounded number of test cases, http://ggb1.idm.jku.at/∼kovzol/talks/eaca12/EACA2012-BotanaKovacsRecioWeitzhofer.pdf (2012)