@article{PSMIR_1998___S4_189_0, author = {Luengo, Vanda}, title = {Cabri-Euclide : un micromonde de preuve int\'egrant la r\'efutation {Principes} didactiques et informatiques {R\'ealisation}}, journal = {Publications de l'Institut de recherche math\'ematiques de Rennes}, pages = {189--190}, publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes}, number = {S4}, year = {1998}, language = {fr}, url = {http://www.numdam.org/item/PSMIR_1998___S4_189_0/} }
TY - JOUR AU - Luengo, Vanda TI - Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation JO - Publications de l'Institut de recherche mathématiques de Rennes PY - 1998 SP - 189 EP - 190 IS - S4 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://www.numdam.org/item/PSMIR_1998___S4_189_0/ LA - fr ID - PSMIR_1998___S4_189_0 ER -
%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
Luengo, Vanda. Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 189-190. http://www.numdam.org/item/PSMIR_1998___S4_189_0/
Projet d'un Cahier Brouillon Informatique de Géométrie. Rapport interne LSD (IMAG), 1985, Grenoble.
(1985)A Tool for Research and Teaching in Graph, Symposium on Graph Drawing. in Lecture Notes in Computer Science, n° 1027.
, et , (1995)Un micromonde de preuve intégrant la réfutation : Cabri-Euclide. Actes des Journées EIAO, Cachan, Mai 1997.
(1997)