%0 Journal Article
%A Luengo, Vanda
%T Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1998
%P 189-190
%N S4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1998___S4_189_0/
%G fr
%F PSMIR_1998___S4_189_0