Some didactical and epistemological considerations in the design of educational software: The cabri-euclide example

International Journal of Computers for Mathematical Learning

Volumn 10, Issue 1, 2005, Pages 1-29

  Luengo, Vanda ^a  

^a IPAG   (France)

Author keywords

Didactical theory; Mathematical proof; Microworld

Indexed keywords

PROBLEM SOLVING; SOFTWARE ENGINEERING;

DIDACTICAL THEORY; MATHEMATICAL PROOF; MICROWORLD;

COMPUTER SOFTWARE;

EID: 23944501516     PISSN: 13823892     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10758-005-4580-x     Document Type: Article

References (39)

1. Ag-Almouloud, S. (1992). L'ordinateur, outil d'aide à l'apprentissage de la démonstration et de traitement de données didactiques. Thèse de troisième cycle. Université de Rennes 1.
2. Anderson, J., Boyle, F., Corbett, A. and Yost, G. (1985). The geometry tutor. Proceedings of IJCAI 1985. Los Angeles, pp. 1-7.
3. Anderson, J., Boyle, C., Corbett, A. and Lewis, M. (1990). Cognitive modelling and intelligent tutoring. Artificial Intilligence 42(1); 7-49.
4. Arsac, G. (1988). Les recherches actuelles sur l'apprentissage de la démonstration et les phénomènes de validation en France. Recherches en Didactique des Mathématiques 9(3): 247-280.
5. Artigue, M. (1991). Analyse de processus d'enseignement et environnement informatique. Petit X 26: 5-27.
6. Balacheff, N. (1987). Processus de preuve et situations de validation. Educational Studies in Mathematics 18: 147-176.
7. Balacheff, N. (1988). Une étude des processus de preuve en mathématiques chez les élèves de Collège. Thèse d'état Université Joseph Fourier, Grenoble.
8. Balacheff, N. (1991). The benefits and limits of the social interaction: The case of mathematical proof. In J. Bishop et al. (Eds); Mathematical Knowledge: Its Growth Through Teaching; (pp. 175-192) Dordrent Kluwer Academic Publishers
9. Balacheff, N. (1994). Didactique et Intelligence Artificielle. Recherches en didactique des mathématiques, Volume 14/1.2. La Pensée Sauvage.
10. Balacheff, N. (1999). Apprendre la preuve. In J. Sallantin, and J.J. Szczeciniarz (Eds.), La preuve à la lumière de l'intelligence artificielle, à paraître. Paris: PUF.
11. Bazin, J.M. (1993). Un modèle d'expert en résolution de problème de géomètrie. Journées EIAO Cachan 1993.
12. Bellemain, F. (1992). Conception, réalisation et expérimentation d'un logiciel d'aide à l'enseignement de la géométrie: Cabri-géomètre. Thèse LSD2-IMAG, Université Joseph Fourier, Grenoble.
13. Bernat, P. (1993). CHYPRE: Un logiciel d'aide au raisonnement. Repères - IREM 10.
14. Brousseau, G. (1997). Theory of Didactical Situations Edition and translation by N. Balacheff, M. Cooper, R. Sutherland and V. Warfield, Dordrecht: Kluwer Academic Publishers.
15. Carbonneaux, Y., Laborde, J.-M. and Madani, M. R. (1995). Cabri-graph: A tool for research and teaching in graph. Graph Drawing'95, J. B. Frank, (Eds), (pp. 123-126)
16. Springer Verlag, Lecture Notes in Computer Science, vol.1027.
17. Desmoulins, C. (1996). Le diagnostic de la correction d'une Figure géométrique: le système TALC. Sciences et Technologies Educatives 3(2).
18. Dimitracopoulou, A. (1995). Le tutorat dans les systèmes informatisés d'apprentissage: étude de la conception et réalisation d'un tutoriel d'aide à la représentation physique des situations étudiées par la mécanique. Thèse Université Paris VII.
19. Duval, R. (1989). L'organisation deductive du discours. In Annales de Didactique et Sciences Cognitives 2 (pp. 25-40) IREM de Strasbourg.
20. Duval, R. (1991). Structure du raisonnement déductif et apprentissage de la démonstration. Educational Studies in Mathematics 22: 233-261.
21. Duval, R. (1992-1993). Argumenter, démontrer, expliquer: Continuité ou rupture cognitive? In Petit x, 31: 37-61.
22. Guin, D. (1989). Réflexions sur les logiciels d'aide à la démonstration en géométrie. Annales de Didactique de Sciences Cognitives 89-109.
23. Guin, D. (1995). A Cognitive Analysis of Geometry Proof Focused on Intelligent Tutoring Systems(pp. 82-93) Nato Asi Series. Berlin: Springer Verlag.
24. Hoyles C. and Jones K. (1998), Proof in dynamic geometry contexts. In C. V. Mammana and V. Villani (Eds), Perspectives on the Teaching of Geometry for the 21st Century, (pp. 121-128) Dordrecht: Kluwer.
25. Jean, S., Delozanne E., Jacoboni, P. and Grugeon, B. (1999). A diagnosis on a qualitative model of competence. S. Lajoie and M. Vivet (Eds), In Artificial Intelligence in Education, IOS press:
26. Kayser, D. (1997). La représentation des connaissances, éditions Hermès, Paris, France.
27. Laborde, C. and Laborde, J.-M. (1992). Problem solving in geometry: from microworlds to intelligent computer environments. In J. Ponte et al. (Eds), Mathematical Problem Solving and New Information Technology, NATO ASI Series, Vol. 89 (pp. 177-192) Berlin:Springer Verlag.
28. Laborde, C. and Capponi, B. (1994). Cabri-géomètre constituant d'un milieu pour l'apprentissage de la notion de Figure géométrique. Recherches en Didactique des Math-ématiques, Vol. 14/1.2 (pp. 165-210) La Pensée Sauvage.
29. Laborde, J. (1985). Projet d'un Cahier Brouillon Informatique de Géométrie. Rapport interne LSD (IMAG). Grenoble.
30. Lakatos, I. (1976). Proof and Refutations. Cambridge:Cambridge University Press.
31. Luengo, V. (1993). Contraintes Informatiques et apprentissage de la démonstration à propos de trois logiciels. Mémoire du DEA de Didactique des disciplines Scientifiques. Grenoble.
32. Luengo, V. (1997). Cabri-Euclide:un micromonde de preuve intégrant la réfutation. Principes didactiques et informatiques. Réalisation. Thése Grenoble:Université Joseph Fourier.
33. Luengo V. and Balacheff N. (1998). Contraintes informatiques et environnements d'apprentissage de la démonstration en mathématiques. Sciences et Technologies Educatives 5(1): 15-45.
34. Luengo, V. (1999). Analyse et prise en compte de contraintes didactiques et informatiques dans la conception et le developpement du micromonde de preuve Cabri-Euclide. Sciences et Technologies Educatives 6(1).
35. Py, D. (1996). Aide à la démonstration en géométrie:le projet Mentoniezh. Sciences et Technologies Educatives 3(2).
36. Sallantin, J. (1991). Théories semi-empiriques: Conceptualisation et illustrations. Revue d'intelligence artificielle 5(1): 9-67.
37. Schoenfeld, A. (1985). Mathematical Problem solving. Orlando:Academic Press.
38. Tessier, S. and Laborde, J.M. (1994). Description des événements Apple acceptés par Cabrigéomètre. Rapport Technique, IMAG, Université Joseph Fourier, Grenoble
39. Webber, C., Bergia, L., Pesty, S. and Balacheff, N. (2001). The Baghera project: a multiagent architecture for human learning. Proceedings of the Workshop Multi-Agent Architectures for Distributed Learning Environments, AIED2001, San Antonio, TX, USA. pp. 12-17. On-line Proceedings.