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. 
@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://archive.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://archive.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://archive.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://archive.numdam.org/item/PSMIR_1998___S4_189_0/

Laborde J. (1985) Projet d'un Cahier Brouillon Informatique de Géométrie. Rapport interne LSD (IMAG), 1985, Grenoble.

Carbonneaux Y. , Laborde C. et Laborde J.M. , Madani M. (1995) A Tool for Research and Teaching in Graph, Symposium on Graph Drawing. in Lecture Notes in Computer Science, n° 1027.

Luengo V. (1997) Un micromonde de preuve intégrant la réfutation : Cabri-Euclide. Actes des Journées EIAO, Cachan, Mai 1997.