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), pp. 61–65. doi: 10.5565/rev/ensciencias.5063.