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 (Oct. 2006), 61–65. DOI:https://doi.org/10.5565/rev/ensciencias.5063.