MITHALAL - LE DOZE, J. INITIER UN PROCESSUS DE PREUVE MATHÉMATIQUE DANS UN ENVIRONNEMENT DE GÉOMÉTRIE DYNAMIQUE 3D. Revista Latinoamericana de Investigación en Matemática Educativa, v. 17, n. 4(II), p. 343–360, 30 déc.2014.