C. C. S. D. . CARVALHO, “O PAPEL DO COMPUTADOR NO PROCESSO DE FORMAÇÃO DE CONJECTURAS E JUSTIFICATIVAS FORMAIS NA MATEMÁTICA ESCOLAR”, RMT, vol. 2, nº 01, p. 46–68, jan. 2024.