Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation

Vanda Luengo

Publications mathématiques et informatique de Rennes (1998)

  • Issue: S4, page 189-190

How to cite

top

Luengo, 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
  1. Laborde J. (1985) Projet d'un Cahier Brouillon Informatique de Géométrie. Rapport interne LSD (IMAG), 1985, Grenoble. 
  2. 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. 
  3. Luengo V. (1997) Un micromonde de preuve intégrant la réfutation : Cabri-Euclide. Actes des Journées EIAO, Cachan, Mai 1997. 

NotesEmbed ?

top

You must be logged in to post comments.