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), jul. 2023.