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), pp. 343–360, dez. 2014, doi: 10.12802/relime.13.17417.