Junqueira, M. Conjecturas E Provas Informais Em Geometria Com Recurso a Ferramentas Computacionais. Quadrante 1993, 2, 63-78.