O design de um ambiente computacional e suas contribuições para o processo de formulação de conjecturas e provas na educação básica Documento