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 6, no. 1 (octubre 27, 2006): 61–65. Accedido octubre 24, 2025. https://ensciencias.uab.cat/article/view/v6-n1-miranda.