Skip to Main content Skip to Navigation
Journal articles

Analyse et prise en compte des contraintes didactiques et informatiques dans la conception et le développement du micromonde de preuve Cabri-Euclide

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://telearn.archives-ouvertes.fr/hal-00190080
Contributor : Jerome Zeiliger Connect in order to contact the contributor
Submitted on : Friday, November 23, 2007 - 8:33:34 AM
Last modification on : Monday, July 19, 2021 - 5:12:03 PM
Long-term archiving on: : Monday, April 12, 2010 - 3:30:11 AM

File

Luengo_1999.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00190080, version 1

Collections

TELEARN | TICE | CNRS | IMAG | TEL | UGA

Citation

Vanda Luengo. Analyse et prise en compte des contraintes didactiques et informatiques dans la conception et le développement du micromonde de preuve Cabri-Euclide. Sciences et Techniques Educatives, Hermes, 1999, 6 (2), pp.27. ⟨hal-00190080⟩

Share

Metrics

Record views

459

Files downloads

517