Junqueira, M. (1993). Conjecturas e provas informais em geometria com recurso a ferramentas computacionais. Quadrante, 2(1), 63–78. https://doi.org/10.48489/quadrante.22630