CARVALHO, C. C. S. D. . O PAPEL DO COMPUTADOR NO PROCESSO DE FORMAÇÃO DE CONJECTURAS E JUSTIFICATIVAS FORMAIS NA MATEMÁTICA ESCOLAR. RMT 2024, 2, 46-68.