Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation
Publications mathématiques et informatique de Rennes (1998)
- Issue: S4, page 189-190
Access Full Article
top
How to cite
topLuengo, Vanda. "Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation." Publications mathématiques et informatique de Rennes (1998): 189-190. <http://eudml.org/doc/274055>.
@article{Luengo1998,
author = {Luengo, Vanda},
journal = {Publications mathématiques et informatique de Rennes},
language = {fre},
number = {S4},
pages = {189-190},
publisher = {Département de Mathématiques et Informatique, Université de Rennes},
title = {Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation},
url = {http://eudml.org/doc/274055},
year = {1998},
}
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 mathématiques et informatique de Rennes
PY - 1998
PB - Département de Mathématiques et Informatique, Université de Rennes
IS - S4
SP - 189
EP - 190
LA - fre
UR - http://eudml.org/doc/274055
ER -
References
top- 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.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.