{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:17Z","timestamp":1725533837364},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026133"},{"type":"electronic","value":"9783642026140"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02614-0_11","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T11:47:24Z","timestamp":1246535244000},"page":"75-89","source":"Crossref","is-referenced-by-count":4,"title":["A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy"],"prefix":"10.1007","author":[{"given":"Russell","family":"Bradford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher J.","family":"Sangwin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1111\/j.1467-8535.2005.00512.x","volume":"37","author":"H. Ashton","year":"2006","unstructured":"Ashton, H., Beevers, C.E., Koraninski, A.A., Youngson, M.A.: Incorporating partial credit in computer aided assessment of mathematics in secondary education. British Journal of Educational Technology\u00a037, 93\u2013119 (2006)","journal-title":"British Journal of Educational Technology"},{"key":"11_CR2","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984)"},{"key":"11_CR3","unstructured":"Belhoste, B.: Historique des classes pr\u00e9paratoires. Expos\u00e9 au Colloque de l\u2019UPS (2003), ftp:\/\/trf.education.gouv.fr\/pub\/edutel\/sup\/cpge\/historique.pdf"},{"key":"11_CR4","unstructured":"Bergen Conference of European Ministers Responsible for Higher Education. The framework of qualifications for the European Higher Education Area (2005), http:\/\/www.bologna-bergen2005.no\/EN\/BASIC\/050520_Framework_qualifications.pdf"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Bradford, R.J., Davenport, J.H.: Towards Better Simplification of Elementary Functions. In: Mora, T. (ed.) Proceedings ISSAC 2002, pp. 15\u201322 (2002)","DOI":"10.1145\/780506.780509"},{"key":"11_CR6","unstructured":"Cajori, F.: A history of mathematical notations. Open Court (1928)"},{"key":"11_CR7","volume-title":"An Introduction to MAGMA","author":"J. Cannon","year":"1997","unstructured":"Cannon, J., Playoust, C.: An Introduction to MAGMA. Springer, Heidelberg (1997)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Carette, J.: Understanding expression simplification. In: Gutierrez, J. (ed.) Proceedings of ISSAC 2004, pp. 72\u201379 (2004)","DOI":"10.1145\/1005285.1005298"},{"key":"11_CR9","unstructured":"Chaachoua, H., Nicaud, J.F., Bronner, A., Bouhineau, D.: APLUSIX, a learning environment for algebra, actual use and benefits. In: Proceedings of the International Congress on Mathematics Education (ICME-10), Copenhagen, Denmark (2004)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-12868-9_95","volume-title":"Computer Algebra","author":"B.W. Char","year":"1983","unstructured":"Char, B.W., Geddes, K.O., Gentleman, M.W., Gonnet, G.H.: The Design of MAPLE: A Compact, Portable and Powerful Computer Algebra System. In: van Hulzen, J.A. (ed.) ISSAC 1983 and EUROCAL 1983. LNCS, vol.\u00a0162, pp. 101\u2013115. Springer, Heidelberg (1983)"},{"key":"11_CR11","unstructured":"World-Wide\u00a0Web Consortium. Mathematical Markup Language (MathML) Version 2.0, 2nd edn. (2003), http:\/\/www.w3.org\/TR\/MathML2\/"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1006\/jsco.2002.0551","volume":"34","author":"J.H. Davenport","year":"2002","unstructured":"Davenport, J.H.: Equality in computer algebra and beyond. J. Symbolic Comp.\u00a034, 259\u2013270 (2002)","journal-title":"J. Symbolic Comp."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Davenport, J.H., Libbrecht, P.: The Freedom to Extend OpenMath and its Utility. Mathematics in Computer Science (to appear, 2009)","DOI":"10.1007\/s11786-008-0059-1"},{"key":"11_CR14","volume-title":"Computer Algebra","author":"J.H. Davenport","year":"1993","unstructured":"Davenport, J.H., Siret, Y., Tournier, E.: Computer Algebra, 2nd edn. Academic Press, London (1993)","edition":"2"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Doye, N.J.: Automated Coercion for Axiom. In: Dooley, S. (ed.) Proceedings ISSAC 1999, pp. 229\u2013235 (1999)","DOI":"10.1145\/309831.309944"},{"key":"11_CR16","unstructured":"Gage, M., Pizer, A., Roth, V.: WeBWorK: Generating, delivering, and checking math homework via the Internet. In: Proc. ICTM2 international congress for teaching of mathematics at the undergraduate level (2002), http:\/\/www.math.uoc.gr\/~ictm2\/Proceedings\/pap189.pdf"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Meseguer, J.: Order-sorted Algebra I: Equational deduction for multiple inheritance, polymorphism and partial operations. Theor. Comp. Sci.\u00a0105, 217\u2013293 (1992)","journal-title":"Theor. Comp. Sci."},{"key":"11_CR18","volume-title":"AXIOM: The Scientific Computation System","author":"R.D. Jenks","year":"1992","unstructured":"Jenks, R.D., Sutor, R.S.: AXIOM: The Scientific Computation System. Springer, Heidelberg (1992)"},{"key":"11_CR19","unstructured":"Kahrimanian, H.G.: Analytic differentiation by a digital computer. M.A. Thesis, Temple University (1953)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Klai, S., Kolokolnikov, T., Van den Bergh, N.: Using Maple and the web to grade mathematics tests. In: Proceedings of the International Workshop on Advanced Learning Technologies, Palmerston North, New Zealand, December 4\u20136 (2000)","DOI":"10.1109\/IWALT.2000.890575"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1037\/0033-2909.119.2.254","volume":"119","author":"A.N. Kluger","year":"1996","unstructured":"Kluger, A.N., DeNisi, A.: Effects of feedback intervention on performance: A historical review, a meta-analysis, and a preliminary feedback intervention theory. Psychological Bulletin\u00a0119(2), 254\u2013284 (1996)","journal-title":"Psychological Bulletin"},{"key":"11_CR22","unstructured":"Nolan, J.: Analytic differentiation on a digital computer. M.A. Thesis, M.I.T. (1953)"},{"key":"11_CR23","first-page":"309","volume-title":"Intelligent Tutoring Systems","author":"T. O\u2019Shea","year":"1982","unstructured":"O\u2019Shea, T.: A self improving quadratic tutor. In: Sleeman, D., Brown, J.S. (eds.) Intelligent Tutoring Systems, ch.\u00a013, pp. 309\u2013336. Kluwer, Dordrecht (1982)"},{"key":"11_CR24","unstructured":"Ramsden, P.: Fresh Questions, Free Expressions: METRIC\u2019s Web-based Self-test Exercises. Maths Stats and OR Network online CAA series (June 2004), http:\/\/ltsn.mathstore.ac.uk\/articles\/maths-caa-series\/"},{"key":"11_CR25","unstructured":"Recorde, R.: The Whetstone of Witte. J.\u00a0Kyngstone, London (1557)"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/2271358","volume":"33","author":"D. Richardson","year":"1968","unstructured":"Richardson, D.: Some Unsolvable Problems Involving Elementary Functions of a Real Variable. Journal of Symbolic Logic\u00a033, 514\u2013520 (1968)","journal-title":"Journal of Symbolic Logic"},{"key":"11_CR27","unstructured":"Sangwin, C.J.: STACK: making many fine judgements rapidly. In: CAME (2007)"},{"key":"11_CR28","unstructured":"Sangwin, C.J.: What is a Mathematical Question? In: Proceedings of the JEM conference, Lisbon (Feburary 2007)"},{"issue":"9","key":"11_CR29","doi-asserted-by":"publisher","first-page":"902","DOI":"10.1016\/j.jsc.2007.07.002","volume":"42","author":"C.J. Sangwin","year":"2007","unstructured":"Sangwin, C.J., Ramsden, P.: Linear syntax for communicating elementary mathematics. Journal of Symbolic Computation\u00a042(9), 902\u2013934 (2007)","journal-title":"Journal of Symbolic Computation"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-540-85110-3_33","volume-title":"Intelligent Computer Mathematics","author":"J.D. Stratford","year":"2008","unstructured":"Stratford, J.D., Davenport, J.H.: Unit Knowledge Management. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS, vol.\u00a05144, pp. 382\u2013397. Springer, Heidelberg (2008)"},{"issue":"1","key":"11_CR31","doi-asserted-by":"publisher","first-page":"27","DOI":"10.11120\/msor.2002.02010027","volume":"2","author":"N. Strickland","year":"2002","unstructured":"Strickland, N.: Alice interactive mathematics. MSOR Connections\u00a02(1), 27\u201330 (2002), http:\/\/ltsn.mathstore.ac.uk\/newsletter\/feb2002\/pdf\/aim.pdf","journal-title":"MSOR Connections"},{"key":"11_CR32","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J.W. Thatcher","year":"1982","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques. ACM TOPLAS\u00a04, 711\u2013732 (1982)","journal-title":"ACM TOPLAS"},{"key":"11_CR33","volume-title":"Examples in Algebra","author":"C.O. Tuckey","year":"1904","unstructured":"Tuckey, C.O.: Examples in Algebra. Bell & Sons, London (1904)"},{"key":"11_CR34","unstructured":"Tuckey, C.O.: The teaching of algebra in schools. A Report for the Mathematical Association. G.\u00a0Bell & Sons (1934)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02614-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T05:41:05Z","timestamp":1558417265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02614-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026133","9783642026140"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02614-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}