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