MIRANDA DÍAZ, I. 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, [S. l.], v. 6, n. 1, p. 61–65, 2006. DOI: 10.5565/rev/ensciencias.5063. Disponível em: https://ensciencias.uab.cat/article/view/v6-n1-miranda. Acesso em: 3 ago. 2025.