Junqueira M. Conjecturas e provas informais em geometria com recurso a ferramentas computacionais. Quadrante [Internet]. 30 de junho de 1993 [citado 7 de fevereiro de 2026];2(1):63-78. Disponível em: https://quadrante.apm.pt/article/view/22630