Mithalal - Le Doze J. INITIER UN PROCESSUS DE PREUVE MATHÉMATIQUE DANS UN ENVIRONNEMENT DE GÉOMÉTRIE DYNAMIQUE 3D. RELIME [Internet]. 2014 Dec. 30 [cited 2026 Feb. 5];17(4(II):343-60. Available from: https://www.relime.org/index.php/relime/article/view/178