J. Mithalal - Le Doze, « INITIER UN PROCESSUS DE PREUVE MATHÉMATIQUE DANS UN ENVIRONNEMENT DE GÉOMÉTRIE DYNAMIQUE 3D », RELIME, vol. 17, nᵒ 4(II), p. 343–360, déc. 2014, doi: 10.12802/relime.13.17417.