TY - THES AU - Ariño Morera, María Belén A3 - Martínez Zarzuelo, Angélica A3 - Recio Muñiz, Tomás Jesús PY - 2025 UR - https://hdl.handle.net/20.500.14352/128636 AB - En esta tesis doctoral se investiga el uso de herramientas de razonamiento automático implementadas en la versión experimental de GeoGebra Discovery y se presentan cuatro propuestas sobre su posible uso e impacto en la enseñanza y el aprendizaje de la... AB - This doctoral thesis investigates the use of automated reasoning tools implemented in the experimental version of GeoGebra Discovery and presents four proposals on their potential use and impact on the teaching and learning of geometry at different... LA - spa PB - Universidad Complutense de Madrid TI - Uso de herramientas de razonamiento automático en la enseñanza y el aprendizaje de la geometría M3 - doctoral thesis ER -