{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T12:28:18Z","timestamp":1773145698974,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,3,23]],"date-time":"2007-03-23T00:00:00Z","timestamp":1174608000000},"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":[[2007,4,3]]},"DOI":"10.1007\/s10758-007-9111-5","type":"journal-article","created":{"date-parts":[[2007,3,22]],"date-time":"2007-03-22T14:11:44Z","timestamp":1174572704000},"page":"57-79","source":"Crossref","is-referenced-by-count":17,"title":["AgentGeom: a multiagent system for pedagogical support in geometric proof problems"],"prefix":"10.1007","volume":"12","author":[{"given":"Pedro","family":"Cobo","sequence":"first","affiliation":[]},{"given":"Josep M.","family":"Fortuny","sequence":"additional","affiliation":[]},{"given":"Eloi","family":"Puertas","sequence":"additional","affiliation":[]},{"given":"Philippe R.","family":"Richard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,3,23]]},"reference":[{"key":"9111_CR1","unstructured":"A\u00efmeur, E., El-Khoury, S., Fortuny, J. M., & Richard, P. R. (2005). An open architecture to improve the mathematical competences in high school. Actes de la ED-media world conference of association for the advancement of computing in education (pp. 3395\u20133402). Montr\u00e9al."},{"key":"9111_CR2","first-page":"193","volume-title":"Geometry turned on. Dynamic software in learning, teaching","author":"R. J. Allen","year":"1997","unstructured":"Allen, R. J., & Trilling, L. (1997). Dynamic geometry and declarative geometric programming. In J. R. King, & D. Schattschneider (Eds.), Geometry turned on. Dynamic software in learning, teaching, and research. (pp. 193\u2013197) Washington: MAA Notes Series."},{"key":"9111_CR3","unstructured":"Balacheff, N. (2000). Teaching, an emergent property of eLearning environments. In Proceedings of the international conference on intelligent tutoring systems 2000. Nice. Retrieved at http:\/\/www-didactique.imag.fr\/Balacheff\/TextesDivers\/IST2000.html."},{"key":"9111_CR4","unstructured":"Balacheff, N., & Margolinas, C. (2005). Mod\u00e8le de connaissances pour le calcul de situations didactiques. In A. Mercier, & C. Margolinas (Eds.), Balises pour la didactique des math\u00e9matiques (pp. 75\u2013106). Grenoble: La Pens\u00e9e sauvage."},{"key":"9111_CR5","volume-title":"Theory of didactic situations","author":"G. Brousseau","year":"1997","unstructured":"Brousseau, G. (1997). Theory of didactic situations. Dordrecht: Kluwer Academic Publishers."},{"key":"9111_CR6","unstructured":"Bunt, A., & Conati, C. (2002). Assessing effective exploration in open learning environments using bayesian networks. In Proceedings of the international conference on intelligent tutoring systems 2002. Biarritz. Retreived at http:\/\/www.cs.ubc.ca\/%7Econati\/my-papers\/its2002BuntConati.pdf."},{"key":"9111_CR7","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1023\/A:1004187711956","volume":"42","author":"P. Cobo","year":"2000","unstructured":"Cobo, P., & Fortuny, J. M. (2000). Social interactions and cognitive effects in contexts of area-comparison problem solving. Educational Studies in Mathematics, 42, 115\u2013140.","journal-title":"Educational Studies in Mathematics"},{"key":"9111_CR8","unstructured":"Cobo, P. (1998). An\u00e1lisis de los procesos cognitivos y de las interacciones sociales entre alumnos (16\u201317) en la resoluci\u00f3n de problemas que comparan \u00e1reas de superficies planas. Un estudio de casos. Doctoral dissertation. Universitat Aut\u00f2noma de Barcelona."},{"key":"9111_CR9","unstructured":"Cobo, P. (2004). Disseny d\u2019agents pedag\u00f2gics intel\u00b7ligents per millorar les compet\u00e8ncies estrat\u00e8giques de l\u2019alumnat en la resoluci\u00f3 de problemes de matem\u00e0tiques. Memoria in\u00e9dita de la llicencia de estudios concedida por el Departament d\u2019Ensenyament de la Generalitat de Catalunya (DOGC, n\u00fam. 3926 de 16-7-2003)."},{"key":"9111_CR10","volume-title":"S\u00e9miosis et pens\u00e9e humaine: registre s\u00e9miotique et apprentissages intellectuels","author":"R. Duval","year":"1995","unstructured":"Duval, R. (1995). S\u00e9miosis et pens\u00e9e humaine: registre s\u00e9miotique et apprentissages intellectuels. Berne: Peter Lang."},{"key":"9111_CR11","unstructured":"Forman, E. (1996). Learning mathematics as participation in classroom practice: implications of sociocultural theory for educational reform. In L. Steffe, P. Nesher, P. Cobb, G. Goldin, & B. Greer (Eds.), Theories of mathematical learning (pp. 115\u2013130). Mahwah, NJ: Lawrence Erlbaum Associates."},{"key":"9111_CR12","first-page":"115","volume":"42","author":"C. Kieran","year":"2001","unstructured":"Kieran, C. (2001). The mathematical discourse of 13-year-old partnered problem solving and its relation to the mathematics that emerges. Educational Studies in Mathematics, 42, 115\u2013140.","journal-title":"Educational Studies in Mathematics"},{"key":"9111_CR13","unstructured":"Koedinger, K., & Anderson, J. R. (1993). Reifying implicit planning in geometry: Guidelines for model-based intelligent tutoring system design. In S. P. Lajoie, & S. J. Derry (Eds.), Computers as cognitive tools (pp. 15\u201346). Hillsdale, NJ: Erlbaum."},{"key":"9111_CR14","unstructured":"Laboratoire Leibniz (2003). Baghera assessment project: Designing an hybrid and emergent educational society. In S. Soury-Lavergne (Ed.), Rapport pour la commission europ\u00e9enne, Programme IST. Grenoble: Les Cahiers du Laboratoire Leibniz n\u00b0 81."},{"key":"9111_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proof and refutations","author":"I. Lakatos","year":"1976","unstructured":"Lakatos, I. (1976). Proof and refutations. Cambridge: Cambridge University Press."},{"key":"9111_CR16","first-page":"1632","volume-title":"Proceedings of world conference on educational multimedia, hypermedia and telecommunications","author":"V. Luengo","year":"1999","unstructured":"Luengo, V. (1999). Cooperative agents to learn mathematical proof. In: P. Kommers, & G. Richards (Eds.), Proceedings of world conference on educational multimedia, hypermedia and telecommunications (p 1632). Chesapeake, VA: AACE."},{"key":"9111_CR17","doi-asserted-by":"crossref","unstructured":"Matsuda, N., & Okamoto, T. (1998). Diagramatic reasoning for geometry ITS to teach auxiliary line constuction problems. In Proc. of the international conference on intelligent tutoring systems (pp. 244\u2013253). Berlin: Springer.","DOI":"10.1007\/3-540-68716-5_30"},{"key":"9111_CR18","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/B:EDUC.0000017691.13428.b9","volume":"55","author":"J. Moschkovich","year":"2004","unstructured":"Moschkovich, J. (2004). Appropriating mathematical practices: a case study of learning to use and explore functions through interaction with a tutor. Educational Studies in Mathematics, 55, 49\u201380.","journal-title":"Educational Studies in Mathematics"},{"key":"9111_CR19","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-1-4471-0353-0_2","volume-title":"People and computers XV\u2014interactions without frontiers","author":"P. Rabardel","year":"2001","unstructured":"Rabardel, P. (2001). Instrument mediated activity in situations. In: Blandford A., Vanderdonckt J., Gray P. (eds.), People and computers XV\u2014interactions without frontiers (pp. 17\u201330). Berlin: Springer-Verlag."},{"key":"9111_CR20","volume-title":"Mod\u00e9lisation du comportement en situation de validation","author":"P. R. Richard","year":"2004","unstructured":"Richard, P. R. (2004a). Mod\u00e9lisation du comportement en situation de validation. Berne: Peter Lang."},{"issue":"2","key":"9111_CR21","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/B:EDUC.0000049272.75852.c4","volume":"57","author":"P. R. Richard","year":"2004","unstructured":"Richard, P. R. (2004b). L\u2019inf\u00e9rence figurale: un pas de raisonnement discursivo-graphique. Educational Studies in Mathematics, 57(2), 229\u2013263.","journal-title":"Educational Studies in Mathematics"},{"key":"9111_CR22","volume-title":"Mathematical problem solving","author":"A. H. Schoenfeld","year":"1985","unstructured":"Schoenfeld, A. H. (1985). Mathematical problem solving. Orlando: Academic Press."},{"key":"9111_CR23","unstructured":"ScreenFlash (2002). Retrieved at http:\/\/ www.unflash.com."},{"key":"9111_CR24","unstructured":"Webber, C., Bergia, L., Pesty, S., & Balacheff, N. (2002). The Baghera project: a multi-agent architecture for human learning. In Proceedings of the workshop multi-agent architectures for distributed learning environments (AIED2001) (pp. 12\u201317). San Antonio."},{"key":"9111_CR25","volume-title":"Artifical intelligence","author":"P. H. Winston","year":"1992","unstructured":"Winston, P. H. (1992). Artifical intelligence. New York: Addison Wesley."}],"container-title":["International Journal of Computers for Mathematical Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10758-007-9111-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10758-007-9111-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10758-007-9111-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:43:02Z","timestamp":1559259782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10758-007-9111-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,23]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,4,3]]}},"alternative-id":["9111"],"URL":"https:\/\/doi.org\/10.1007\/s10758-007-9111-5","relation":{},"ISSN":["1382-3892","1573-1766"],"issn-type":[{"value":"1382-3892","type":"print"},{"value":"1573-1766","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3,23]]}}}