Junqueira, Margarida. «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.