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