Mithalal - Le Doze J. INITIER UN PROCESSUS DE PREUVE MATHÉMATIQUE DANS UN ENVIRONNEMENT DE GÉOMÉTRIE DYNAMIQUE 3D. RELIME [Internet]. 30 de diciembre de 2014 [citado 31 de marzo de 2025];17(4(II):343-60. Disponible en: https://relime.org/index.php/relime/article/view/178