{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:22Z","timestamp":1725558562235},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141270"},{"type":"electronic","value":"9783642141287"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14128-7_27","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T10:45:36Z","timestamp":1277808336000},"page":"315-330","source":"Crossref","is-referenced-by-count":3,"title":["Adapting Mathematical Domain Reasoners"],"prefix":"10.1007","author":[{"given":"Bastiaan","family":"Heeren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Admiraal, C., et al.: Getal & Ruimte. EPN, Houten, The Netherlands (2009)"},{"issue":"3","key":"27_CR2","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s11786-010-0025-6","volume":"3","author":"D. Aspinall","year":"2010","unstructured":"Aspinall, D., Denney, E., L\u00fcth, C.: Tactics for hierarchical proof. Mathematics in Computer Science\u00a03(3), 309\u2013330 (2010)","journal-title":"Mathematics in Computer Science"},{"key":"27_CR3","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1997","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1997)"},{"key":"27_CR4","first-page":"89","volume-title":"Computer-Human Interaction in Symbolic Computation","author":"M.J. Beeson","year":"1998","unstructured":"Beeson, M.J.: Design principles of MathPert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89\u2013115. Springer, Heidelberg (1998)"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-642-02614-0_11","volume-title":"Intelligent Computer Mathematics","author":"R. Bradford","year":"2009","unstructured":"Bradford, R., Davenport, J.H., Sangwin, C.J.: A comparison of equality in computer algebra and correctness in mathematical pedagogy. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol.\u00a05625, pp. 75\u201389. Springer, Heidelberg (2009)"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Bundy, A.: The use of explicit plans to guide inductive proofs. In: CADE, pp. 111\u2013120 (1988)","DOI":"10.1007\/BFb0012826"},{"key":"27_CR7","unstructured":"Cheikhrouhou, L., Sorge, V.: PDS \u2013 a three-dimensional data structure for proof plans. In: ACIDCA (2000)"},{"key":"27_CR8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-3-662-05148-1_16","volume-title":"Algebra, Geometry and Software Systems","author":"A. Cohen","year":"2003","unstructured":"Cohen, A., Cuypers, H., Reinaldo Barreiro, E., Sterk, H.: Interactive mathematical documents on the web. In: Algebra, Geometry and Software Systems, pp. 289\u2013306. Springer, Heidelberg (2003)"},{"key":"27_CR9","unstructured":"Doorman, M., Drijvers, P., Boon, P., van Gisbergen, S., Gravemeijer, K.: Design and implementation of a computer supported learning environment for mathematics. In: Earli 2009 SIG20 Invited Symposium Issues in Designing and Implementing Computer Supported Inquiry Learning Environments (2009)"},{"key":"27_CR10","unstructured":"Gerdes, A., Heeren, B., Jeuring, J., Stuurman, S.: Feedback services for exercise assistants. In: Remenyi, D. (ed.) ECEL, pp. 402\u2013410. Acad. Publ. Ltd., New York (2008)"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-02614-0_25","volume-title":"Intelligent Computer Mathematics","author":"G. Goguadze","year":"2009","unstructured":"Goguadze, G.: Representation for interactive exercises. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol.\u00a05625, pp. 294\u2013309. Springer, Heidelberg (2009)"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-02614-0_27","volume-title":"Intelligent Computer Mathematics","author":"B. Heeren","year":"2009","unstructured":"Heeren, B., Jeuring, J.: Canonical forms in interactive exercise assistants. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol.\u00a05625, pp. 325\u2013340. Springer, Heidelberg (2009)"},{"issue":"3","key":"27_CR13","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s11786-010-0027-4","volume":"3","author":"B. Heeren","year":"2010","unstructured":"Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science\u00a03(3), 349\u2013370 (2010)","journal-title":"Mathematics in Computer Science"},{"key":"27_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-540-24844-6_12","volume-title":"Artificial Intelligence and Soft Computing - ICAISC 2004","author":"E. Melis","year":"2004","unstructured":"Melis, E., Siekmann, J.: Activemath: An intelligent tutoring system for mathematics. In: Rutkowski, L., Siekmann, J.H., Tadeusiewicz, R., Zadeh, L.A. (eds.) ICAISC 2004. LNCS (LNAI), vol.\u00a03070, pp. 91\u2013101. Springer, Heidelberg (2004)"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"van Noort, T., Rodriguez Yakushev, A., Holdermans, S., Jeuring, J., Heeren, B., Magalh\u00e3es, J.P.: A lightweight approach to datatype-generic rewriting. Journal of Functional Programming (to appear 2010)","DOI":"10.1017\/S0956796810000183"},{"issue":"2","key":"27_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0360-1315(02)00100-8","volume":"40","author":"C. Pahl","year":"2003","unstructured":"Pahl, C.: Managing evolution and change in web-based teaching and learning environments. Computers & Education\u00a040(2), 99\u2013114 (2003)","journal-title":"Computers & Education"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Paterson, R.: Arrows and computation. In: Gibbons, J., de Moor, O. (eds.) The Fun of Programming, pp. 201\u2013222. Palgrave, Oxford (2003)","DOI":"10.1007\/978-1-349-91518-7_10"},{"key":"27_CR18","unstructured":"The\u00a0OpenMath Society. The OpenMath Standard (2006), \n                    \n                      http:\/\/www.openmath.org\/standard\/index.html"},{"key":"27_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-04636-0_8","volume-title":"Learning in the Synergy of Multiple Disciplines","author":"C. Ullrich","year":"2009","unstructured":"Ullrich, C., Lu, T., Melis, E.: A new framework for dynamic adaptations and actions. In: Cress, U., Dimitrova, V., Specht, M. (eds.) EC-TEL 2009. LNCS, vol.\u00a05794, pp. 67\u201372. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14128-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:23:48Z","timestamp":1558293828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14128-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141270","9783642141287"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14128-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}