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.