{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T11:17:02Z","timestamp":1722856622116},"reference-count":33,"publisher":"Springer Science and Business Media LLC","license":[{"start":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T00:00:00Z","timestamp":1315353600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Tech Know Learn"],"DOI":"10.1007\/s10758-011-9181-2","type":"journal-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T17:43:29Z","timestamp":1315331009000},"source":"Crossref","is-referenced-by-count":2,"title":["Development Process of a Praxeology for Supporting the Teaching of Proofs in a CAS Environment Based on Teachers\u2019 Experience in a Professional Development Course"],"prefix":"10.1007","author":[{"given":"Nurit","family":"Zehavi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giora","family":"Mann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,7]]},"reference":[{"issue":"3","key":"9181_CR1","first-page":"24","volume":"14","author":"A Arcavi","year":"1994","unstructured":"Arcavi, A. (1994). Informal sense-making in formal mathematics. For the Learning of Mathematics, 14(3), 24\u201335.","journal-title":"For the Learning of Mathematics"},{"issue":"1","key":"9181_CR2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1023\/A:1022103903080","volume":"7","author":"M Artigue","year":"2002","unstructured":"Artigue, M. (2002). Learning mathematics in a CAS environment: The genesis of a reflection on instrumentation and the dialectics between technical and conceptual work. International Journal of Computers for Mathematical Learning, 7(1), 245\u2013274.","journal-title":"International Journal of Computers for Mathematical Learning"},{"key":"9181_CR3","first-page":"1011","volume-title":"Second handbook of research on mathematics teaching and learning","author":"M Artigue","year":"2007","unstructured":"Artigue, M., Batanero, C., & Kent, P. (2007). Mathematics teaching and learning at post-secondary level. In F. K. Lester Jr. (Ed.), Second handbook of research on mathematics teaching and learning (pp. 1011\u20131050). Reston, VA: NCTM."},{"issue":"2","key":"9181_CR4","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s11858-008-0084-1","volume":"40","author":"F Arzarello","year":"2008","unstructured":"Arzarello, F., Bosch, M., Gasc\u00f3n, J., & Sabena, C. (2008). The ostensive dimension through the lenses of two didactic approaches. ZDM Mathematics Education, 40(2), 179\u2013188.","journal-title":"ZDM Mathematics Education"},{"issue":"2","key":"9181_CR5","first-page":"136","volume":"41","author":"BA Ayoub","year":"2007","unstructured":"Ayoub, B. A. (2007). The director circle of a central conic section. Mathematics and Computer Education, 41(2), 136\u2013142.","journal-title":"Mathematics and Computer Education"},{"issue":"5","key":"9181_CR6","first-page":"502","volume":"52","author":"DH Bailey","year":"2005","unstructured":"Bailey, D. H., & Borwein, J. M. (2005). Experimental mathematics: Examples, methods and implications. Notices of AMS, 52(5), 502\u2013514.","journal-title":"Notices of AMS"},{"issue":"1\u20133","key":"9181_CR7","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s10649-005-5889-z","volume":"59","author":"J Barb\u00e9","year":"2005","unstructured":"Barb\u00e9, J., Bosch, M., Espinoza, L., & Gasc\u00f3n, J. (2005). Didactic restrictions on the teacher\u2019s practice: The case of limits of functions in Spanish high schools. Educational Studies in mathematics, 59(1\u20133), 235\u2013268.","journal-title":"Educational Studies in mathematics"},{"issue":"4","key":"9181_CR8","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(4), 359\u2013387.","journal-title":"Educational Studies in mathematics"},{"issue":"2","key":"9181_CR9","first-page":"221","volume":"19","author":"Y Chevallard","year":"1999","unstructured":"Chevallard, Y. (1999). L\u2019analyse des pratiques enseignantes en th\u00e9orie anthropologique du didactique. Recherches en Didactique des Math\u00e9matiques, 19(2), 221\u2013266.","journal-title":"Recherches en Didactique des Math\u00e9matiques"},{"key":"9181_CR10","doi-asserted-by":"crossref","unstructured":"Dana-Picard, T., Zehavi, N., & Mann, G. (2012). From conic intersections to toric intersections: The case of the isoptic curves of an ellipse. The Montana Mathematics Enthusiast 8(3), to appear January 2012.","DOI":"10.54870\/1551-3440.1235"},{"key":"9181_CR11","volume-title":"Learning algebra in a computer algebra environment","author":"P Drijvers","year":"2003","unstructured":"Drijvers, P. (2003). Learning algebra in a computer algebra environment. Utrecht, The Netherlands: Freundenthal Institute."},{"key":"9181_CR12","unstructured":"Duval, R. (2002). Proof understanding in mathematics: What ways for students? Plenary paper at the International conference on mathematics: Understanding proving and proving to understand. Taipei, November 2002. Retrieved June 5, 2011 from: http:\/\/140.122.140.4\/~cyc\/_private\/mathedu\/me1\/me1_2002_1\/duval.doc (html version)."},{"issue":"1\u20132","key":"9181_CR13","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s10649-006-0400-z","volume":"61","author":"R Duval","year":"2006","unstructured":"Duval, R. (2006). A cognitive analysis of problems of comprehension in a learning of mathematics. Educational Studies in Mathematics, 61(1\u20132), 103\u2013131.","journal-title":"Educational Studies in Mathematics"},{"issue":"1","key":"9181_CR14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1080\/14926150802152277","volume":"8","author":"A Elia","year":"2008","unstructured":"Elia, A., Panaoura, A., Gagatsis, A., Gravvani, K., & Spyrou, P. (2008). Exploring different aspects of the understanding of functions: Toward a four-facet model. Canadian Journal of Science, Mathematics and Technology Education, 8(1), 49\u201369.","journal-title":"Canadian Journal of Science, Mathematics and Technology Education"},{"key":"9181_CR15","unstructured":"Hadas, N., & Hershkowitz, R. (1999). The role of uncertainty in constructing and proving in computerized environments. In O. Zaslavsky (Ed.), Proceedings of the 23rd PME Conference, 3, 57\u201364."},{"key":"9181_CR16","unstructured":"Hanna, G. (1989). Proofs that prove and proofs that explain. In G. Vernaud, J. Rogalski, & M. Artigue (Eds.), Proceedings of the 13th Conference of the international group for the psychology of mathematics education, II, 45\u201351, Paris."},{"issue":"1\u20132","key":"9181_CR17","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1012737223465","volume":"44","author":"G Hanna","year":"2000","unstructured":"Hanna, G. (2000). Proof, explanation and exploration: An overview. Educational Studies in Mathematics, 44(1\u20132), 5\u201323.","journal-title":"Educational Studies in Mathematics"},{"issue":"3","key":"9181_CR18","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s11858-008-0080-5","volume":"40","author":"G Hanna","year":"2008","unstructured":"Hanna, G., & Barbeau, E. (2008). Proofs as bearers of mathematical knowledge. ZDM Mathematics Education, 40(3), 345\u2013353.","journal-title":"ZDM Mathematics Education"},{"issue":"2","key":"9181_CR19","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s10758-006-0006-7","volume":"11","author":"C Kieran","year":"2006","unstructured":"Kieran, C., & Drijvers, P. (2006). The co-emergence of machine techniques, paper and pencil techniques, and theoretical reflection: A study of CAS use in secondary school algebra. International Journal of Computers for Mathematical Learning, 11(2), 205\u2013263.","journal-title":"International Journal of Computers for Mathematical Learning"},{"issue":"3","key":"9181_CR20","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1023\/A:1013309728825","volume":"6","author":"C Laborde","year":"2001","unstructured":"Laborde, C. (2001). Integration of technology in the design of geometry tasks with Cabri-Geometry. International Journal of Computers in Mathematical learning, 6(3), 283\u2013317.","journal-title":"International Journal of Computers in Mathematical learning"},{"key":"9181_CR21","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/0-387-23435-7_6","volume-title":"The didactical challenge of symbolic calculators: Turning a computational device into a mathematical instrument","author":"JB Lagrange","year":"2005","unstructured":"Lagrange, J. B. (2005a). Using symbolic calculators to study mathematics. In D. Guin, K. Ruthven, & L. Trouche (Eds.), The didactical challenge of symbolic calculators: Turning a computational device into a mathematical instrument (pp. 113\u2013136). New York: Springer."},{"issue":"2","key":"9181_CR22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10758-005-4850-7","volume":"10","author":"JB Lagrange","year":"2005","unstructured":"Lagrange, J. B. (2005b). Curriculum, classroom practices, and tool design in the learning of functions through technology-aided experimental approaches. International Journal of Computers in Mathematical learning, 10(2), 143\u2013189.","journal-title":"International Journal of Computers in Mathematical learning"},{"issue":"3","key":"9181_CR23","first-page":"113","volume":"14","author":"G Mann","year":"2007","unstructured":"Mann, G., Dana-Picard, T., & Zehavi, N. (2007). Technological discourse on CAS-based operative knowledge. International Journal for Technology in Mathematics Education, 14(3), 113\u2013120.","journal-title":"International Journal for Technology in Mathematics Education"},{"issue":"3","key":"9181_CR24","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1023\/A:1013357611987","volume":"6","author":"AM Mariotti","year":"2001","unstructured":"Mariotti, A. M. (2001). Justifying and proving in the Cabri environment. International Journal of Computers in Mathematical learning, 6(3), 257\u2013281.","journal-title":"International Journal of Computers in Mathematical learning"},{"issue":"2","key":"9181_CR25","first-page":"63","volume":"14","author":"J Monaghan","year":"2007","unstructured":"Monaghan, J. (2007). Computer algebra, instrumentation and the anthropological approach. International Journal for Technology in Mathematics Education, 14(2), 63\u201372.","journal-title":"International Journal for Technology in Mathematics Education"},{"key":"9181_CR26","volume-title":"Analytical geometry","author":"B Spain","year":"1963","unstructured":"Spain, B. (1963). Analytical geometry. Oxford: Pergamon Press."},{"issue":"5","key":"9181_CR27","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1080\/002073902320602978","volume":"33","author":"VK Srinivasan","year":"2002","unstructured":"Srinivasan, V. K. (2002). Director circle of conic sections. International Journal of Mathematical Education in Science and Technology, 33(5), 791\u2013800.","journal-title":"International Journal of Mathematical Education in Science and Technology"},{"key":"9181_CR28","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/0-387-23435-7_7","volume-title":"The didactical challenge of symbolic calculators: Turning a computational device into a mathematical instrument","author":"L Trouche","year":"2005","unstructured":"Trouche, L. (2005). Using symbolic calculators to study mathematics. In D. Guin, K. Ruthven, & L. Trouche (Eds.), The didactical challenge of symbolic calculators: Turning a computational device into a mathematical instrument (pp. 137\u2013162). New York: Springer."},{"key":"9181_CR29","first-page":"57","volume-title":"The geometric supposer, what is it a case of?","author":"M Yerushalmy","year":"1993","unstructured":"Yerushalmy, M. (1993). Generalization in geometry. In J. L. Schwartz, M. Yerushalmy, & B. Wilson (Eds.), The geometric supposer, what is it a case of? (pp. 57\u201384). Mahwah, NJ: Laurence Erlbaum."},{"issue":"2","key":"9181_CR30","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.jmathb.2004.03.003","volume":"23","author":"N Zehavi","year":"2004","unstructured":"Zehavi, N. (2004). Symbol sense with a symbolic-graphical system: A story in three rounds. Journal of Mathematical Behavior, 23(2), 183\u2013203.","journal-title":"Journal of Mathematical Behavior"},{"issue":"4","key":"9181_CR31","first-page":"249","volume":"6","author":"N Zehavi","year":"1999","unstructured":"Zehavi, N., & Mann, G. (1999). The expressive power afforded by a solving tool: How long did Diophantus live? International Journal of Computer Algebra in Mathematics Education, 6(4), 249\u2013266.","journal-title":"International Journal of Computer Algebra in Mathematics Education"},{"key":"9181_CR32","first-page":"173","volume-title":"Computer algebra in secondary education","author":"N Zehavi","year":"2003","unstructured":"Zehavi, N., & Mann, G. (2003). Task design in a CAS environment: Introducing (in)equations. In J. Fey (Ed.), Computer algebra in secondary education (pp. 173\u2013191). Reston VA: NCTM."},{"issue":"2","key":"9181_CR33","doi-asserted-by":"crossref","first-page":"83","DOI":"10.54870\/1551-3440.1025","volume":"2","author":"N Zehavi","year":"2005","unstructured":"Zehavi, N., & Mann, G. (2005). Instrumented techniques and reflective thinking in analytic geometry. The Montana Mathematics Enthusiast, 2(2), 83\u201392.","journal-title":"The Montana Mathematics Enthusiast"}],"container-title":["Technology, Knowledge and Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10758-011-9181-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10758-011-9181-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10758-011-9181-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T06:44:50Z","timestamp":1686293090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10758-011-9181-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,7]]},"references-count":33,"alternative-id":["9181"],"URL":"https:\/\/doi.org\/10.1007\/s10758-011-9181-2","relation":{},"ISSN":["2211-1662","2211-1670"],"issn-type":[{"value":"2211-1662","type":"print"},{"value":"2211-1670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,7]]}}}