JUNQUEIRA, M. Conjecturas e provas informais em geometria com recurso a ferramentas computacionais. Quadrante, [S. l.], v. 2, n. 1, p. 63–78, 1993. DOI: 10.48489/quadrante.22630. Disponível em: https://quadrante.apm.pt/article/view/22630. Acesso em: 11 fev. 2025.