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
topHow to cite
topReferences
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.