[1]
M. Junqueira, «Conjecturas e provas informais em geometria com recurso a ferramentas computacionais», Quadrante, vol. 2, n.º 1, pp. 63–78, jun. 1993.