{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T12:50:40Z","timestamp":1760014240934},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T00:00:00Z","timestamp":1181174400000},"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,8,2]]},"DOI":"10.1007\/s10758-007-9115-1","type":"journal-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T04:48:13Z","timestamp":1181105293000},"page":"135-156","source":"Crossref","is-referenced-by-count":41,"title":["Measuring in dynamic geometry environments as a tool for conjecturing and proving"],"prefix":"10.1007","volume":"12","author":[{"given":"Federica","family":"Olivero","sequence":"first","affiliation":[]},{"given":"Ornella","family":"Robutti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,6,7]]},"reference":[{"key":"9115_CR1","volume-title":"Probl\u00e8me Ouvert et Situation\u2014Probl\u00e8me","author":"G. Arsac","year":"1988","unstructured":"Arsac, G., Germain, G., & Mante, M. (1988). Probl\u00e8me Ouvert et Situation\u2014Probl\u00e8me. Academie de Lyon: IREM."},{"key":"9115_CR2","unstructured":"Arzarello, F. (2000). Inside and outside: spaces, times and language in proof production. In T. Nakahara & M. Koyama (Eds.), Proceedings of the 24th Conference of the International Group for the Psychology of Mathematics Education (Vol. 1, pp. 23\u201338). Hiroshima, Japan."},{"key":"9115_CR3","unstructured":"Arzarello, F., Gallino, G., Micheletti, C., Olivero, F., Paola, D., & Robutti, O. (1998a). Dragging in Cabri and modalities of transition from conjectures to proofs in geometry. In A. Olivier & K. Newstead (Eds.), Proceedings of the 22nd Conference of the International Group for the Psychology of Mathematics Education (Vol. 2, pp. 32\u201339). Stellenbosh, South Africa."},{"key":"9115_CR4","unstructured":"Arzarello, F., Micheletti, C., Olivero, F., Paola, D., & Robutti, O. (1998b). A model for analysing the transition to formal proofs in geometry. In A. Olivier & K. Newstead (Eds.), Proceedings of the 22nd Conference of the International Group for the Psychology of Mathematics Education (Vol. 2, pp. 24\u201331). Stellenbosh, South Africa."},{"issue":"3","key":"9115_CR5","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/BF02655708","volume":"34","author":"F. Arzarello","year":"2002","unstructured":"Arzarello, F., Olivero, F., Paola, D., & Robutti, O. (2002). A cognitive analysis of dragging practises in Cabri environments. Zentralblatt fur Didaktik der Mathematik, 34(3), 66\u201372.","journal-title":"Zentralblatt fur Didaktik der Mathematik"},{"key":"9115_CR6","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF00314724","volume":"18","author":"N. Balacheff","year":"1987","unstructured":"Balacheff, N. (1987). Processus de preuve et situation de validation. Educational Studies in Mathematics, 18, 147\u2013176.","journal-title":"Educational Studies in Mathematics"},{"key":"9115_CR7","unstructured":"Bartolini Bussi, M., & Boni, M. (2003). Instruments for semiotic mediation in primary school classrooms. For the learning of mathematics, 23(2), 15\u201322."},{"key":"9115_CR8","volume-title":"Cabri-G\u00e9om\u00e8tre, un logiciel d\u2019aide \u00e0 l\u2019apprentissage de la g\u00e9om\u00e8trie. Logiciel et manuel d\u2019utilisation","author":"Y. Baulac","year":"1988","unstructured":"Baulac, Y., Bellemain, F., & Laborde, J. M. (1988). Cabri-G\u00e9om\u00e8tre, un logiciel d\u2019aide \u00e0 l\u2019apprentissage de la g\u00e9om\u00e8trie. Logiciel et manuel d\u2019utilisation. Paris: Cedic-Nathan."},{"key":"9115_CR9","unstructured":"Boero, P., Garuti, R., & Mariotti, M. A. (1996). Some dynamic mental processes underlying producing and proving conjectures. In L. Puig & A. Gutierrez (Eds.), Proceedings of the 20th Conference of the International Group for the Psychology of Mathematics Education (Vol. 2, pp. 121\u2013128). Valencia, Spain."},{"key":"9115_CR10","unstructured":"Boieri, P. (1995). La misura in Cabri: Quaderni di CabrIrrsae."},{"key":"9115_CR11","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF01273371","volume":"24","author":"D. Chazan","year":"1993","unstructured":"Chazan, D. (1993). High school geometry students\u2019 justification for their views of empirical evidence and mathematical proof. Educational Studies in Mathematics, 24, 359\u2013387.","journal-title":"Educational Studies in Mathematics"},{"key":"9115_CR12","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1111\/j.1749-6632.1999.tb10416.x","volume":"879","author":"E. Guala","year":"1999","unstructured":"Guala, E., & Boero, P. (1999). Time complexity and learning. Annals of the New York Academy of Sciences, 879, 164\u2013167.","journal-title":"Annals of the New York Academy of Sciences"},{"key":"9115_CR13","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1023\/A:1009892720043","volume":"3","author":"D. Guin","year":"1999","unstructured":"Guin, D., & Trouche, L. (1999). The complex process of converting tools into mathematical instruments: The case of calculators. International Journal of Computers for Mathematical Learning, 3, 195\u2013227.","journal-title":"International Journal of Computers for Mathematical Learning"},{"issue":"1\u20133","key":"9115_CR14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1023\/A:1012781005718","volume":"44","author":"N. Hadas","year":"2000","unstructured":"Hadas, N., Hershkowitz, R., & Schwarz, B. (2000). The role of contradiction and uncertainty in promoting the need to prove in Dynamic Geometry environments. Educational Studies in Mathematics, 44(1\u20133), 127\u2013150.","journal-title":"Educational Studies in Mathematics"},{"key":"9115_CR15","unstructured":"Hanna, G. (1996). The ongoing value of proof. In L. Puig & A. Gutierrez (Eds.), Proceedings of the 20th Conference of the International Group for the Psychology of Mathematics Education (Vol. 1, pp. 21\u201333). Valencia, Spain."},{"key":"9115_CR16","unstructured":"Hoyles, C., & Healy, L. (1999). Linking informal argumentation with formal proof through computer-integrated teaching experiments. In O. Zaslavsky (Ed.), Proceedings of the 23rd Conference of the International Group for the Psychology of Mathematics Education (Vol. 3, pp. 105\u2013112). Haifa, Israel."},{"key":"9115_CR17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/A:1012789201736","volume":"44","author":"K. Jones","year":"2000","unstructured":"Jones, K. (2000). Providing a foundation for deductive reasoning: Students\u2019 interpretations when using dynamic geometry software and their evolving mathematical explanations. Educational Studies in Mathematics, 44, 55\u201385.","journal-title":"Educational Studies in Mathematics"},{"key":"9115_CR18","unstructured":"Kaput, J., & Schorr, R. (2002). Changing representational infrastructures changes most everything: The case of SimCalc, Algebra & Calculus. In K. Heid & G. Blume (Eds.), Research on the Impact of Technology on the Teaching and Learning of Mathematics."},{"key":"9115_CR19","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-0-387-35287-9_22","volume-title":"Information and communications technologies in school mathematics","author":"C. Laborde","year":"1998","unstructured":"Laborde, C. (1998). Relationship between the spatial and theoretical in geometry: The role of computer dynamic representations in problem solving. In J. D. Tinsley & D. C. Johnson (Eds.), Information and communications technologies in school mathematics (pp. 183\u2013195). London: Chapman & Hall."},{"issue":"3","key":"9115_CR20","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1023\/A:1013309728825","volume":"6","author":"C. Laborde","year":"2002","unstructured":"Laborde, C. (2002). Integration of technology in the design of geometry tasks with Cabri-geometry. International Journal of Computers for Mathematical Learning, 6(3), 283\u2013317.","journal-title":"International Journal of Computers for Mathematical Learning"},{"key":"9115_CR21","unstructured":"Laborde, C. (2003). Technology used as a tool for mediating knowledge in the teaching of mathematics: The case of Cabri-Geometry. Paper presented at the ATCM 2003."},{"key":"9115_CR22","first-page":"1","volume-title":"Meaning in mathematics education","author":"C. Laborde","year":"2004","unstructured":"Laborde, C. (2004). The hidden role of diagrams in pupils\u2019 construction of meaning in geometry. In J. Kilpatrick, C. Hoyles & O. Skovsmose (Eds.), Meaning in mathematics education (pp. 1\u201321). Dordrecht: Kluwer Academic Publishers."},{"key":"9115_CR23","unstructured":"Lagrange, J. B., Artigue, M., Laborde, C., & Trouche, L. (2001). A meta study on IC technologies in education. Towards a multidimensional framework to tackle their integration. In M. van den Heuvel-Panhuizen (Ed.), Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education (Vol. 1, pp. 111\u2013122). Utrecht, The Netherlands."},{"key":"9115_CR24","first-page":"695","volume-title":"Handbook of international research in mathematics education","author":"M. A. Mariotti","year":"2002","unstructured":"Mariotti, M. A. (2002). Influence of technologies advances on students\u2019 maths learning. In L. English, M. Bartolini Bussi, G. Jones, R. Lesh, & D. Tirosh (Eds.), Handbook of international research in mathematics education (pp. 695\u2013721). Mahwah, NJ: Lawrence Erlbaum Associates."},{"key":"9115_CR25","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1012785106627","volume":"44","author":"R. Marrades","year":"2000","unstructured":"Marrades, R., & Gutierrez, A. (2000). Proofs produced by secondary school students learning geometry in a dynamic computer environment. Educational Studies in Mathematics, 44, 87\u2013125.","journal-title":"Educational Studies in Mathematics"},{"key":"9115_CR26","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/978-3-642-57799-4_20","volume-title":"Computers and exploratory learning","author":"R. Noss","year":"1995","unstructured":"Noss, R. (1995). Thematic chapter: Computers as commodities. In A. DiSessa, C. Hoyles & R. Noss (Eds.), Computers and exploratory learning (pp. 363\u2013381). Berlin: Springer-Verlag."},{"key":"9115_CR27","unstructured":"Olivero, F. (2002). The proving process within a dynamic geometry environment. (Doctoral thesis). Bristol: University of Bristol, ISBN 0-86292-535-5."},{"key":"9115_CR28","unstructured":"Olivero, F., & Robutti, O. (2001). Measuring in Cabri as a bridge between perception and theory. In M. van den Heuvel-Panhuizen (Ed.), Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education (Vol. 4, pp. 9\u201316). Utrecht, The Netherlands."},{"key":"9115_CR29","unstructured":"Olivero, F., & Robutti, O. (2002). An exploratory study of students\u2019 measurement activity in a dynamic geometry environment. In Proceedings of CERME2 (Vol. 1, pp. 215\u2013226). Marianske Lazne, CZ."},{"key":"9115_CR30","unstructured":"Paola, D., & Robutti, O. (2004). Experimenting and explaining quantity variations to learn functions with Cabri-G\u00e9om\u00e8tre. Paper presented at the Cabriworld 2004, Rome."},{"issue":"7","key":"9115_CR31","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3102\/0013189X014007011","volume":"14","author":"D. N. Perkins","year":"1985","unstructured":"Perkins, D. N. (1985). The fingertip effect: How information-processing technology changes thinking. Educational Researcher, 14(7), 11\u201317.","journal-title":"Educational Researcher"},{"key":"9115_CR32","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/philmat\/7.1.5","volume":"7","author":"Y. Rav","year":"1999","unstructured":"Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica III, 7, 5\u201341.","journal-title":"Philosophia Mathematica III"},{"issue":"3","key":"9115_CR33","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1023\/A:1024305603330","volume":"52","author":"M. P. Sinclair","year":"2003","unstructured":"Sinclair, M. P. (2003). Some implications of the results of a case study for the design of pre-constructed dynamic geometry sketches and accompanying materials. Educational Studies in Mathematics, 52(3), 289\u2013317.","journal-title":"Educational Studies in Mathematics"},{"key":"9115_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1009882419704","volume":"4","author":"R. Sutherland","year":"1999","unstructured":"Sutherland, R., & Balacheff, N. (1999). Didactical complexity of computational environments for the learning of mathematics. International Journal of Computers for Mathematical Learning, 4, 1\u201326.","journal-title":"International Journal of Computers for Mathematical Learning"},{"key":"9115_CR35","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1023\/B:EDUC.0000047052.57084.d8","volume":"57","author":"V. Talmon","year":"2004","unstructured":"Talmon, V., & Yerushalmy, M. (2004). Understanding dynamic behavior: Parent\u2013child relations in dynamic geometry environments. Educational Studies in Mathematics, 57, 91\u2013119.","journal-title":"Educational Studies in Mathematics"},{"key":"9115_CR36","unstructured":"Vadcard, L. (1999). La validation en g\u00e9om\u00e8trie au Coll\u00e8ge avec Cabri-G\u00e9om\u00e8tre: mesures exploratoire et mesures probatoires. Petit X(50), 5\u201321."},{"key":"9115_CR37","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF03172796","volume":"10","author":"P. Verillion","year":"1995","unstructured":"Verillion, P., & Rabardel, P. (1995). Cognition and artifacts: a contribution to the study of thought in relation to instrumented activity. European Journal of Psychology of Education, 10, 77\u2013101.","journal-title":"European Journal of Psychology of Education"}],"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-9115-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10758-007-9115-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10758-007-9115-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:43:02Z","timestamp":1559245382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10758-007-9115-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,7]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,8,2]]}},"alternative-id":["9115"],"URL":"https:\/\/doi.org\/10.1007\/s10758-007-9115-1","relation":{},"ISSN":["1382-3892","1573-1766"],"issn-type":[{"value":"1382-3892","type":"print"},{"value":"1573-1766","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,7]]}}}