Junqueira, M. «Conjecturas E Provas Informais Em Geometria Com Recurso a Ferramentas Computacionais». Quadrante, vol. 2, n. 1, Junho de 1993, pp. 63-78, doi:10.48489/quadrante.22630.