Mithalal - Le Doze J. INITIER UN PROCESSUS DE PREUVE MATHÉMATIQUE DANS UN ENVIRONNEMENT DE GÉOMÉTRIE DYNAMIQUE 3D. RELIME [Internet]. 13 de julio de 2023 [citado 4 de julio de 2024];17(4(II). Disponible en: https://relime.org/index.php/relime/article/view/178