{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:43Z","timestamp":1725566863117},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236115"},{"type":"electronic","value":"9783540304722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30472-2_2","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T16:07:39Z","timestamp":1285258059000},"page":"17-31","source":"Crossref","is-referenced-by-count":4,"title":["Designing Algorithms in High School Mathematics"],"prefix":"10.1007","author":[{"given":"Sylvia","family":"da Rosa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"1","volume":"6","author":"M. Asiala","year":"1999","unstructured":"Asiala, M., Dubinsky, E., et al.: A Framework for Research and Curriculum Development in Undergraduate Mathematics Education. Research in Collegiate Mathematics Education II, CBMS Issues in Mathematics Education\u00a06, 1\u201332 (1999)","journal-title":"Research in Collegiate Mathematics Education II, CBMS Issues in Mathematics Education"},{"key":"2_CR2","unstructured":"Ben-Ari, M.: Constructivism in Computer Science Education. Journal of Computers in Mathematics and Science Teaching (2001)"},{"key":"2_CR3","first-page":"55","volume":"5","author":"E. Dubinsky","year":"1986","unstructured":"Dubinsky, E., Lewin, P.: Reflective Abstraction and Mathematics Education: The Genetic Decomposition of Induction and Compactness. The Journal of Mathematical Behavior\u00a05, 55\u201392 (1986)","journal-title":"The Journal of Mathematical Behavior"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"D\u00f6rfler, W.: Forms and Means of Generalization in Mathematics (1991) (unpublished)","DOI":"10.1007\/978-94-017-2195-0_4"},{"key":"2_CR5","unstructured":"Ernest, P.: Social Constructivism as a Philosophy of Mathematics: Radical Constructivism Rehabilitated (2000) (unpublished)"},{"key":"2_CR6","volume-title":"Talk in Conference Curriculum Wars: Alternative Approaches to Reading and Mathematics","author":"B. Michael","year":"1999","unstructured":"Michael, B.: How Do Children Learn Mathematics? Research and Reform in Mathematics Education. In: Talk in Conference Curriculum Wars: Alternative Approaches to Reading and Mathematics, Harvard University, Cambridge (1999)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Schoenfeld Alan, H.: Making Mathematics Work for All Children: Issues of Standards, Testing, and Equity. Educational Researcher\u00a031(1) (2002)","DOI":"10.3102\/0013189X031001013"},{"key":"2_CR8","volume-title":"Psychogenesis and the History of Sciences","author":"P. Jean","year":"1980","unstructured":"Jean, P., Garcia, R.: Psychogenesis and the History of Sciences. Columbia University Press, New York (1980)"},{"key":"2_CR9","volume-title":"Mathematical Epistemology and Psychology","author":"P. Jean","year":"1966","unstructured":"Jean, P., Beth, E.: Mathematical Epistemology and Psychology. D. Reidel Publishing Company, Dordrecht (1966)"},{"key":"2_CR10","unstructured":"Jean, P., et al.: Recherches sur la G\u00e9n\u00e9ralisation. Presses Universitaires de France (1978)"},{"key":"2_CR11","unstructured":"Jean, P.: L\u2019\u00e9quilibration des Structures Cognitives, Probl\u2018eme Central du D\u00e9veloppement. Presses Universitaires de France (1975)"},{"key":"2_CR12","volume-title":"Introduction to Functional Programming","author":"R. Bird","year":"1988","unstructured":"Bird, R., Wadler, P.: Introduction to Functional Programming. Prentice-Hall, Englewood Cliffs (1988)"},{"key":"2_CR13","unstructured":"Ralph-Johan, B., von Joakim, W.: Structured Derivations: a Method for Doing High-School Mathematics Carefully. TUCS Technical Report No 246 (1999)"},{"key":"2_CR14","unstructured":"Viera, K.: Proulx: The Role of Computer Science and Discrete Mathematics in the High School Curriculum. DIMACS Series in Discrete mathematics and Theoretical Computer Science, vol.\u00a036 (1997)"},{"key":"2_CR15","unstructured":"da Rosa, S., Cirigliano, G.: Ensayo sobre Matem\u00e1tica aplicada a Computaci\u00f3n. Congreso Iberoamericano de Educaci\u00f3n Superior en Computaci\u00f3n (1999) (in Spanish)"},{"key":"2_CR16","unstructured":"da Rosa, S., Cirigliano, G.: Ensayo sobre Matem\u00e1tica aplicada a Computaci\u00f3n. Congreso Iberoamericano de Educaci\u00f3n Superior en Computaci\u00f3n (1999) (in Spanish)"},{"key":"2_CR17","unstructured":"da Rosa, S.: The Role of Discrete Mathematics and Programming in Education. In: Workshop: Functional and Declarative Programming in Education (2002)"},{"key":"2_CR18","unstructured":"Henderson, P.B.: Functional and Declarative Languages for Learning Discrete Mathematics. In: Workshop: Functional and Declarative Programming in Education (2002)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Page, R.L.: Software is Discrete Mathematics. In: ICFP 2003 (2003)","DOI":"10.1145\/944705.944713"},{"key":"2_CR20","unstructured":"Tucker, A.B.: Fundamentals of Computing I: Logic, Problem Solving, Programs and Computers. Mc Graw-Hill Series in Computer Science (1995)"},{"key":"2_CR21","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1996","unstructured":"Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs. The MIT Press, Cambridge (1996)"},{"key":"2_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3657-6","volume-title":"Discrete Mathematics using a Computer","author":"C. Hall","year":"2000","unstructured":"Hall, C., O\u2019Donnell, J.: Discrete Mathematics using a Computer. Springer, Heidelberg (2000)"},{"key":"2_CR23","volume-title":"An Introduction to Computing and Programming","author":"M. Felleisen","year":"2003","unstructured":"Felleisen, M., Findler, R.B., Flat, M., Krishnamurthi, S.: How to Design Programs. In: An Introduction to Computing and Programming, The MIT Press, Cambridge (2003)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60675-0","volume-title":"Functional Programming Languages in Education","author":"P.H. Hartel","year":"1995","unstructured":"Hartel, P.H., von Es, B., Tromp, D.: Basic Proof Skills of Computer Science Students. In: Hartel, P.H., Plasmeijer, R. (eds.) FPLE 1995. LNCS, vol.\u00a01022, Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Teaching Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30472-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T21:42:12Z","timestamp":1559684532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}