{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T12:28:14Z","timestamp":1773145694441,"version":"3.50.1"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Comput Math Learning"],"published-print":{"date-parts":[[2005,1]]},"DOI":"10.1007\/s10758-005-4580-x","type":"journal-article","created":{"date-parts":[[2005,7,30]],"date-time":"2005-07-30T12:35:51Z","timestamp":1122726951000},"page":"1-29","source":"Crossref","is-referenced-by-count":12,"title":["Some didactical and Epistemological Considerations in the Design of Educational Software: The Cabri-euclide Example"],"prefix":"10.1007","volume":"10","author":[{"given":"Vanda","family":"Luengo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4580_CR1","unstructured":"Ag-Almouloud, S. (1992). L\u2019ordinateur, outil d\u2019aide \u00e0 l\u2019apprentissage de la d\u00e9monstration et de traitement de donn\u00e9es didactiques. Th\u00e8se de troisi\u00e8me cycle. Universit\u00e9 de Rennes 1."},{"key":"4580_CR2","unstructured":"Anderson, J., Boyle, F., Corbett, A., Yost, G. (1985). The geometry tutor. Proceedings of IJCAI 1985. Los Angeles, pp. 1\u20137."},{"issue":"1","key":"4580_CR3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(90)90093-F","volume":"42","author":"J. Anderson","year":"1990","journal-title":"Artificial Intilligence"},{"issue":"3","key":"4580_CR4","first-page":"247","volume":"9","author":"G. Arsac","year":"1988","journal-title":"Recherches en Didactique des Math\u00e9matiques"},{"key":"4580_CR5","first-page":"5","volume":"26","author":"M. Artigue","year":"1991","journal-title":"Petit X"},{"key":"4580_CR6","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF00314724","volume":"18","author":"N. Balacheff","year":"1987","journal-title":"Educational Studies in Mathematics"},{"key":"4580_CR7","volume-title":"Une \u00e9tude des processus de preuve en math\u00e9matiques chez les \u00e9l\u00e8ves de Coll\u00e8ge","author":"N. Balacheff","year":"1988"},{"key":"4580_CR8","first-page":"175","volume-title":"Mathematical Knowledge: Its Growth Through Teaching.","author":"N. Balacheff","year":"1991"},{"key":"4580_CR9","unstructured":"Balacheff, N. (1994). Didactique et Intelligence Artificielle. Recherches en didactique des math\u00e9matiques, Volume 14\/1.2. La Pens\u00e9e Sauvage."},{"key":"4580_CR10","volume-title":"La preuve \u00e0 la lumi\u00e8re de l\u2019intelligence artificielle, \u00e0 para\u00eetre.","author":"N. Balacheff","year":"1999"},{"key":"4580_CR11","unstructured":"Bazin, J.M. (1993). Un mod\u00e8le d\u2019expert en r\u00e9solution de probl\u00e8me de g\u00e9om\u00e9trie. Journ\u00e9es EIAO Cachan 1993."},{"key":"4580_CR12","volume-title":"Conception, r\u00e9alisation et exp\u00e9rimentation d\u2019un logiciel d\u2019aide \u00e0 l\u2019enseignement de la g\u00e9om\u00e9trie: Cabri-g\u00e9om\u00e8tre","author":"F. Bellemain","year":"1992"},{"key":"4580_CR13","unstructured":"Bernat, P. (1993). CHYPRE : Un logiciel d\u2019aide au raisonnement. Rep\u00e8res \u2013 IREM 10."},{"key":"4580_CR14","unstructured":"Brousseau, G. (1997). Theory of Didactical Situations Edition and translation by N. Balacheff, M. Cooper, R. Sutherland and V. Warfield, Dordrecht: Kluwer Academic Publishers."},{"key":"4580_CR15","unstructured":"Carbonneaux, Y., Laborde, J.-M. and Madani, M. R. (1995). Cabri-graph: A tool for research and teaching in graph. Graph Drawing\u201995, J. B. Frank, (Eds), (pp. 123\u2013126) Springer Verlag, Lecture Notes in Computer Science, vol.1027."},{"key":"4580_CR16","doi-asserted-by":"crossref","unstructured":"Desmoulins, C. (1996). Le diagnostic de la correction d\u2019une Figure g\u00e9om\u00e9trique : le syst\u00e8me TALC. Sciences et Technologies Educatives 3(2).","DOI":"10.3406\/stice.1996.1296"},{"key":"4580_CR17","unstructured":"Dimitracopoulou, A. (1995). Le tutorat dans les syst\u00e8mes informatis\u00e9s d\u2019apprentissage : \u00e9tude de la conception et r\u00e9alisation d\u2019un tutoriel d\u2019aide \u00e0 la repr\u00e9sentation physique des situations \u00e9tudi\u00e9es par la m\u00e9canique. Th\u00e8se Universit\u00e9 Paris VII."},{"key":"4580_CR18","unstructured":"Duval, R. (1989). L\u2019organisation d\u00e9ductive du discours. In Annales de Didactique et Sciences Cognitives 2 (pp. 25\u201340) IREM de Strasbourg."},{"key":"4580_CR19","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00368340","volume":"22","author":"R. Duval","year":"1991","journal-title":"Educational Studies in Mathematics"},{"key":"4580_CR20","first-page":"37","volume":"31","author":"R. Duval","year":"1992","journal-title":"In Petit x"},{"key":"4580_CR21","unstructured":"Guin, D. (1989). R\u00e9flexions sur les logiciels d\u2019aide \u00e0 la d\u00e9monstration en g\u00e9om\u00e9trie. Annales de Didactique de Sciences Cognitives 89\u2013109."},{"key":"4580_CR22","first-page":"82","volume-title":"Nato Asi Series.","author":"D. Guin","year":"1995"},{"key":"4580_CR23","first-page":"121","volume-title":"Perspectives on the Teaching of Geometry for the 21st Century.","author":"C. Hoyles","year":"1998"},{"key":"4580_CR24","unstructured":"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:"},{"key":"4580_CR25","unstructured":"Kayser, D. (1997) La repr\u00e9sentation des connaissances, \u00e9ditions Hermes, Paris, France."},{"key":"4580_CR26","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/978-3-642-58142-7_13","volume-title":"Mathematical Problem Solving and New Information Technology, NATO ASI Series.","author":"C Laborde","year":"1992"},{"key":"4580_CR27","unstructured":"Laborde, C. and Capponi, B. (1994). Cabri-g\u00e9om\u00e8tre constituant d\u2019un milieu pour l\u2019apprentissage de la notion de Figure g\u00e9om\u00e9trique. Recherches en Didactique des Math\u00e9matiques, Vol. 14\/1.2 (pp. 165\u2013210) La Pens\u00e9e Sauvage."},{"key":"4580_CR28","volume-title":"Projet d\u2019un Cahier Brouillon Informatique de G\u00e9om\u00e9trie","author":"J. Laborde","year":"1985"},{"key":"4580_CR29","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proof and Refutations","author":"I. Lakatos","year":"1976"},{"key":"4580_CR30","volume-title":"Contraintes Informatiques et apprentissage de la d\u00e9monstration \u00e0 propos de trois logiciels","author":"V. Luengo","year":"1993"},{"key":"4580_CR31","unstructured":"Luengo, V. (1997). Cabri-Euclide:un micromonde de preuve int\u00e9grant la r\u00e9futation. Principes didactiques et informatiques. R\u00e9alisation. Th\u00e8se. Grenoble:Universit\u00e9 Joseph Fourier."},{"issue":"1","key":"4580_CR32","doi-asserted-by":"crossref","first-page":"15","DOI":"10.3406\/stice.1998.1371","volume":"5","author":"V. Luengo","year":"1998","journal-title":"Sciences et Technologies Educatives"},{"key":"4580_CR33","unstructured":"Luengo, V. (1999). Analyse et prise en compte de contraintes didactiques et informatiques dans la con ception et led\u00e9veloppement du micromonde de preuve Cabri-Euclide. Sciences et Technologies Educatives 6(1)."},{"key":"4580_CR34","unstructured":"Py, D. (1996). Aide \u00e0 la d\u00e9monstration en g\u00e9om\u00e9trie:le projet Mentoniezh. Sciences et Technologies Educatives 3(2)."},{"issue":"1","key":"4580_CR35","first-page":"9","volume":"5","author":"J. Sallantin","year":"19 9","journal-title":"Revue d\u2019intelligence artificielle"},{"key":"4580_CR36","volume-title":"Mathematical Problem solving","author":"A. Schoenfeld","year":"1985"},{"key":"4580_CR37","volume-title":"Description des \u00e9v\u00e9nements Apple accept\u00e9s par Cabri-g\u00e9om\u00e8tre","author":"S. Tessier","year":"1994"},{"key":"4580_CR38","unstructured":"Webber, C., Bergia, L., Pesty, S. and Balacheff, N. (2001). The Baghera project: a multi-agent architecture for human learning. Proceedings of the Workshop Multi-Agent Architectures for Distributed Learning Environments, AIED2001, San Antonio, TX, USA. pp. 12\u201317. On-line Proceedings."}],"container-title":["International Journal of Computers for Mathematical Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10758-005-4580-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10758-005-4580-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10758-005-4580-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T12:49:19Z","timestamp":1586350159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10758-005-4580-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["4580"],"URL":"https:\/\/doi.org\/10.1007\/s10758-005-4580-x","relation":{},"ISSN":["1382-3892","1573-1766"],"issn-type":[{"value":"1382-3892","type":"print"},{"value":"1573-1766","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,1]]}}}