Miranda Díaz, I. (2006). La demostración automática de teoremas en Geometría elemental y su repercusión didáctica. Enseñanza De Las Ciencias. Revista De investigación Y Experiencias didácticas, 6(1), 61–65. https://doi.org/10.5565/rev/ensciencias.5063