@article{ABAR_Recio_Vélez_Van Vaerenbergh_2020, title={Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven}, volume={16}, url={https://union.fespm.es/index.php/UNION/article/view/202}, abstractNote={<p>El popular programa de matemática dinámica GeoGebra incluye herramientas para la verificación matemática rigurosa y el descubrimiento automático de proposiciones generales sobre figuras geométricas. En este trabajo se presenta, en primer lugar, una breve descripción de tales herramientas, para centrarse a continuación en una reflexión sobre su potencial impacto educativo, a través de un nuevo diseño de tareas escolares en el ámbito de la enseñanza de la geometría, que aprovechen las nuevas características de GeoGebra y contribuyan a guiar al estudiante en la indagación, conjetura y descubrimiento de propiedades geométricas en una construcción dada.</p> <p><strong>Palabras clave</strong>: geometría dinámica, razonamiento automático, geometría elemental, GeoGebra</p&gt;}, number={59}, journal={UNIÓN - REVISTA IBEROAMERICANA DE EDUCACIÓN MATEMÁTICA}, author={ABAR, CELINA and Recio, Tomas and Vélez, M. Pilar and Van Vaerenbergh, Steven}, year={2020}, month={ago.}, pages={08-15} }