Mithalal - Le Doze J. INITIER UN PROCESSUS DE PREUVE MATHÉMATIQUE DANS UN ENVIRONNEMENT DE GÉOMÉTRIE DYNAMIQUE 3D. RELIME [Internet]. 30 déc. 2014 [cité 9 oct. 2026];17(4(II):343-60. Disponible sur: https://relime.org/index.php/relime/article/view/178