{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:57Z","timestamp":1725471177251},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371045"},{"type":"electronic","value":"9783540371069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11812289_20","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T08:23:44Z","timestamp":1159518224000},"page":"251-265","source":"Crossref","is-referenced-by-count":2,"title":["Authoring LeActiveMath Calculus Content"],"prefix":"10.1007","author":[{"given":"Paul","family":"Libbrecht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Gross","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M.: Extensible Markup Language (XML). W3C Recommendation PR-xml-971208, World Wide Web Consortium (1997), Available at: \n                    \n                      http:\/\/www.w3.org\/TR\/PR-xml.html"},{"key":"20_CR2","volume-title":"Authoring Tools for Advanced Technology Learning Environment","author":"P. Brusilovsky","year":"2003","unstructured":"Brusilovsky, P.: Developing adaptive educational hypermedia systems: From design models to authoring tools. In: Murray, T., Blessing, S., Ainsworth, S. (eds.) Authoring Tools for Advanced Technology Learning Environment, Kluwer Academic Publishers, Dordrecht (2003), see: \n                    \n                      http:\/\/www2.sis.pitt.edu\/~peterb\/papers\/KluwerAuthBook.pdf"},{"key":"20_CR3","unstructured":"Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Ga\u00ebtano, M., Kohlhase, M.: The OpenMath standard, version 2.0 (2004), Available at: \n                    \n                      http:\/\/www.openmath.org\/"},{"key":"20_CR4","unstructured":"Goguadze, G., Palomo, A., Melis, E.: Interactivity of Exercises in ActiveMath. In: Proceedings of the 13th International Conference on Computers in Education (ICCE 2005), Singapore, pp. 107\u2013113 (2005)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30230-8_38","volume-title":"Research and Advanced Technology for Digital Libraries","author":"G. Henry","year":"2004","unstructured":"Henry, G.: Connexions: An alternative approach to publishing. In: Heery, R., Lyon, L. (eds.) ECDL 2004. LNCS, vol.\u00a03232, Springer, Heidelberg (2004)"},{"key":"20_CR6","unstructured":"Kohlhase, A.: CPoints mathematical user interface. In: Proceedings of the MathUI Workshop. (2004), Online at: \n                    \n                      http:\/\/www.activemath.org\/~paul\/MathUI04\/"},{"key":"20_CR7","unstructured":"Kohlhase, M.: omdoc: Towards an openmath representation of mathematical documents. In: Seki Report SR-00-02, Fachbereich Informatik, Universit\u00e4t des Saarlandes (2000), See also: \n                    \n                      http:\/\/www.mathweb.org\/omdoc"},{"key":"20_CR8","unstructured":"Kohlhase, M.: Semantic markup for TeX LaTeX. In: Proceedings of the MathUI Workshop (2004), see: \n                    \n                      http:\/\/www.activemath.org\/~paul\/MathUI04\/"},{"key":"20_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11618027_3","volume-title":"Mathematical Knowledge Management","author":"S. Manzoor","year":"2006","unstructured":"Manzoor, S., Libbrecht, P., Ullrich, C., Melis, E.: Authoring presentation for openmath. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol.\u00a03863, pp. 33\u201348. Springer, Heidelberg (2006)"},{"key":"20_CR10","unstructured":"Melis, E., K\u00e4rger, P., Homik, M.: Interactive Concept Mapping in ActiveMath (iCMap). In: Haake, J.M., Lucke, U., Tavangarian, D. (eds.) Delfi 2005, Rostock, Germany, Gesellschaft f\u00fcr Informatik e.V (GI). LNI, vol.\u00a066, pp. 247\u2013258 (2005)"},{"issue":"1\u20133","key":"20_CR11","first-page":"47","volume":"38","author":"E. Melis","year":"2003","unstructured":"Melis, E., B\u00fcdenbender, J., Andr\u00e8s, E., Frischauf, A., Goguadze, G., Libbrecht, P., Pollet, M., Ullrich, C.: Knowledge Representation and Management in ActiveMath. Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge\u00a038(1\u20133), 47\u201364 (2003), Volume is accessible from: \n                    \n                      http:\/\/monet.nag.co.uk\/mkm\/amai\/index.html","journal-title":"Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge"},{"key":"20_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0819-7","volume-title":"Authoring Tools for Advanced Technology Learning Environment","author":"T. Murray","year":"2003","unstructured":"Murray, T.: Principles for pedagogy-oriented knowledge based tutor authoring systems: Lessons learned and a design meta-model. In: Murray, T., Blessing, S., Ainsworth, S. (eds.) Authoring Tools for Advanced Technology Learning Environment, Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"20_CR13","unstructured":"Niss, M.: Mathematical competencies and the learning of mathematics: the danish KOM project. Technical report (2002), See: \n                    \n                      http:\/\/www7.nationalacademies.org\/mseb\/mathematical_competencies_and_the_learning_of_mathematics.pdf"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27818-4_23","volume-title":"Mathematical Knowledge Management","author":"M. Pollet","year":"2004","unstructured":"Pollet, M., Sorge, V., Kerber, M.: Intuitive and Formal Representations: The Case of Matrices. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, Springer, Heidelberg (2004)"},{"key":"20_CR15","unstructured":"Ullrich, C.: Tutorial Planning: Adapting Course Generation to Today\u2019s Needs. In: Grandbastien, M. (ed.) Young Researcher Track Proceedings of 12th International Conference on Artificial Intelligence in Education, Amsterdam, The Netherlands, pp. 155\u2013160 (2005)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11812289_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:27:03Z","timestamp":1619508423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11812289_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371045","9783540371069"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11812289_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}