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