1. On the decision problem and the mechanization of theorem-proving in elementary geometry;Wu;Sci. Sin.,1978
2. Automated Theorem Proving in GeoGebra: Current Achievements
3. Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry;Kovács;Int. J. Technol. Math. Educ.,2018
4. Icons of Mathematics: An Exploration of Twenty Key Images;Alsina,2011
5. Inventando teoremas con GeoGebra: Un nuevo Teorema de la Altura;Etayo;Boletín de la Sociedad “Puig Adam” de Profesores de Matemáticas,2021