no. S4
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, 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, 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.