1. Chou, S.C.: Mechanical Geometry Theorem Proving. Springer, Heidelberg (1987)
2. Kovács, Z., Recio, T., Vélez, M.P.: Reasoning about linkages with dynamic geometry. J. Symb. Comput. (2019).
https://www.sciencedirect.com/science/article/abs/pii/S0747717118301299
3. Botana, F., Valcarce, J.: A software tool for the investigation of plane loci. Math. Comput. Simul. 61, 139–152 (2003)
4. Oldenburg, R.: FeliX - mit Algebra Geometrie machen. Computeralgebra Rundbrief, Sonderheft zum Jahr der Mathematik (2008)
5. Kovács, Z., Recio, T., Vélez, M.P.: Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry. Int. J. Technol. Math. Educ. 25, 33–50 (2018)