%0 Journal Article %T Analyse et prise en compte des contraintes didactiques et informatiques dans la conception et le développement du micromonde de preuve Cabri-Euclide %+ Laboratoire Leibniz (Leibniz - IMAG) %A Luengo, Vanda %< avec comité de lecture %J Sciences et Techniques Educatives %I Hermes %V 6 (2) %P 27 %8 1999 %D 1999 %K methodology in technology enhanced learning (TEL) %K didactic of mathematics %Z Computer Science [cs]/Technology for Human LearningJournal articles %X This paper shows the didactical and computational constraints in the design of software for mathematical proof in geometry: Cabri-Euclide. The earliest constraint is to produce software for mathematical proof without has the previous solutions concerning the problem. Cabri-Euclide is a microworld, Thus, the essential is that the system have to verify a local coherence, and not to designate a global automatic deduction. %G French %2 https://telearn.hal.science/hal-00190080/document %2 https://telearn.hal.science/hal-00190080/file/Luengo_1999.pdf %L hal-00190080 %U https://telearn.hal.science/hal-00190080 %~ TELEARN %~ UGA %~ IMAG %~ TICE %~ CNRS %~ UNIV-GRENOBLE1 %~ INPG %~ TEL