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

Vanda Luengo (1)

1 Leibniz - IMAG - Laboratoire Leibniz

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.

Keywords: methodology in technology enhanced learning (TEL); didactic of mathematics

Domains: Computer Science [cs]; Technology for Human Learning

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, 1999, 6 (2), pp.27. ⟨hal-00190080⟩