Miranda Díaz I. La demostración automática de teoremas en Geometría elemental y su repercusión didáctica. ensciencias [Internet]. 27 de octubre de 2006 [citado 3 de agosto de 2025];6(1):61-5. Disponible en: https://ensciencias.uab.cat/article/view/v6-n1-miranda