ABAR, C.; Recio, T.; Vélez, M. P.; Van Vaerenbergh, S. Herramientas De Razonamiento Automático En GeoGebra: Qué Son Y Para Qué Sirven. UNION 2020, 16, 08-15.