{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:15:31Z","timestamp":1740287731290,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":54,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253617"},{"type":"electronic","value":"9783540319702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31970-2_15","type":"book-chapter","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T17:12:58Z","timestamp":1278695578000},"page":"186-203","source":"Crossref","is-referenced-by-count":1,"title":["Design of Automation Systems for Web Based Courseware Using XML and XSLT"],"prefix":"10.1007","author":[{"given":"Yukari","family":"Shirota","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management","author":"M.C. Daconta","year":"2003","unstructured":"Daconta, M.C., Obrst, L.J., Smith, K.T.: The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management. John Wiley & Sons Inc., Chichester (2003)"},{"key":"15_CR2","volume-title":"Dictionary of XML Technologies and the Semantic Web","author":"V. Geroimenko","year":"2003","unstructured":"Geroimenko, V.: Dictionary of XML Technologies and the Semantic Web. Springer, Heidelberg (2003)"},{"key":"15_CR3","volume-title":"Towards the Semantic Web: Ontol-ogy-Driven Knowledge Management","author":"J. Davies","year":"2003","unstructured":"Davies, J., Fensel, D., Van Harmelen, F.: Towards the Semantic Web: Ontol-ogy-Driven Knowledge Management. John Wiley & Sons Inc., Chichester (2003)"},{"key":"15_CR4","unstructured":"XML, http:\/\/www.w3c.org\/TR\/xmlschema-2\/"},{"key":"15_CR5","unstructured":"Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema, 2002-04-30, W3C Working Draft (2002), http:\/\/www.w3.org\/TR\/rdf-schema"},{"key":"15_CR6","unstructured":"Resource Description Framework, http:\/\/www.w3c.org\/RDF\/"},{"key":"15_CR7","unstructured":"W3C: XSL Transformations (XSLT) Version 1.0, W3C Recommendation, November 16 (1999), http:\/\/www.w3.org\/TR\/xslt"},{"key":"15_CR8","unstructured":"ActiveMath, http:\/\/www.activemath.org\/"},{"key":"15_CR9","unstructured":"WME Efforts and Related Systems, http:\/\/icm.mcs.kent.edu\/research\/wme.html"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Shirota, Y.: Knowledge-Based Automation of Web-Based Learning Materials Using Semantic Web Technologies. In: Proc. of The Second International Conference on Creating, Connecting and Collaborating through Computing (C5), Kyoto, Japan, January 29-30, pp. 26\u201333 (2004)","DOI":"10.1109\/C5.2004.1314365"},{"key":"15_CR11","unstructured":"Shirota, Y.: A Semantic Explanation and Symbolic Computation Approach for Design-ing Mathematical Courseware. In: Proc. of The Third International Conference on Creating, Connecting and Collaborating through Computing (C5), Kyoto, Japan, January 28-29 (2005) (to appear)"},{"key":"15_CR12","unstructured":"W3C Math Home, http:\/\/www.w3.org\/Math\/"},{"key":"15_CR13","unstructured":"IBM: Hypermedia Browser Techexplorer, http:\/\/www-3.ibm.com\/software\/network\/techexplorer\/"},{"key":"15_CR14","unstructured":"Yuan, M.J.: Building dynamic Web sites with mathematical content, http:\/\/www-106.ibm.com\/developerworks\/java\/library\/j-jspmath\/?loc=j"},{"key":"15_CR15","unstructured":"Design Science Inc.: MathType and WebEQ, http:\/\/www.dessci.com\/en\/products\/mathtype\/"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Dalmas, S., Ga\u00ebtano, M., Watt, S.M.: AnOpenMath 1.0 Implementation. In: Proc. of ISSAC 1997, pp. 241\u2013248 (1997)","DOI":"10.1145\/258726.258794"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/978-3-540-27818-4_27","volume-title":"Mathematical Knowledge Management","author":"A. Strotmann","year":"2004","unstructured":"Strotmann, A.: The Categorial Type of OpenMath Objects. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 378\u2013392. Springer, Heidelberg (2004)"},{"key":"15_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-44990-6_3","volume-title":"Artificial Intelligence and Symbolic Computation","author":"M. Kohlhase","year":"2001","unstructured":"Kohlhase, M.: OMDoC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge. In: Campbell, J., Roanes-Lozano, E. (eds.) AISC 2000. LNCS (LNAI), vol.\u00a01930, p. 32. Springer, Heidelberg (2001)"},{"key":"15_CR19","unstructured":"The OpenMath Society: The OpenMath website at http:\/\/www.openmath.org\/cocoon\/openmath\/overview\/index.html"},{"key":"15_CR20","unstructured":"The OpenMath Society: The OpenMath Standard (2004), http:\/\/www.openmath.org\/cocoon\/openmath\/\/standard\/om20\/index.html"},{"key":"15_CR21","unstructured":"Worldwide Web Consortium: W3C Math Home at http:\/\/www.w3.org\/Math\/"},{"key":"15_CR22","unstructured":"OMDoc, http:\/\/www.mathweb.org\/omdoc\/"},{"key":"15_CR23","unstructured":"Kohlhase, M.: OMDoc: An Open Markup Format for Mathematical Documents (Ver-sion1.1), June 5 (2003), at http:\/\/www.mathweb.org\/omdoc\/"},{"issue":"2","key":"15_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/362001.362021","volume":"34","author":"M. Kohlhase","year":"2000","unstructured":"Kohlhase, M.: OMDoc: an infrastructure for OpenMath content dictionary information. ACM SIGSAM Bulletin\u00a034(2), 43\u201348 (2000)","journal-title":"ACM SIGSAM Bulletin"},{"key":"15_CR25","unstructured":"MapleSoft: Maple, http:\/\/www.maplesoft.com\/"},{"key":"15_CR26","unstructured":"Wolfram Research: Mahtematica, http:\/\/www.wolfram.com\/products\/webmathematica\/index.html"},{"key":"15_CR27","unstructured":"White, J.E.: Mathwrite, http:\/\/www.mathwright.com\/hr_default.html"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Wang, P.S., Kajler, N., Zhou, Y., Zou, X.: WME: towards a web for mathematics education. In: Proc. of ISSAC 2003, pp. 258\u2013265 (2003)","DOI":"10.1145\/860854.860906"},{"issue":"1-3","key":"15_CR29","first-page":"47","volume":"38","author":"E. Melis","year":"2003","unstructured":"Melis, E., B\u00fcdenbender, J., Goguadze, G., Libbrecht, P., Ullrich, C. (The ActiveMath group): Knowledge Representation and Management in ActiveMath. Annals of Mathematics and Artificial Intelligence\u00a038(1-3), 47\u201364 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Wang, P.S., Zhou, Y., Zou, X.: Web-based Mathematics Education: MeML Design and Implementation. In: Proc. of ITCC (1) 2004, pp. 169\u2013175 (2004)","DOI":"10.1109\/ITCC.2004.1286445"},{"key":"15_CR31","unstructured":"Walsh, N., et al.: DocBook XML 4.2, at http:\/\/www.oasis-open.org\/docbook\/xml\/4.2\/index.shtml"},{"key":"15_CR32","unstructured":"Cuypers, H., Sterk, H.: Mathbook, web-technology for mathematical documents. In: Electronic Proceedings of the BITE conference 2001, Eindhoven, Nederland (2001), http:\/\/www.riaca.win.tue.nl"},{"key":"15_CR33","unstructured":"ADL (Advanced Distributed Learning): Sharable Content Object Reference Model at http:\/\/www.adlnet.org\/"},{"key":"15_CR34","unstructured":"ADL (Advanced Distributed Learning): SCORM ContetnAggregation Model Version 1.3 (2004)"},{"issue":"1","key":"15_CR35","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0004-3702(99)00076-4","volume":"115","author":"E. Melis","year":"1999","unstructured":"Melis, E., Siekmann, J.H.: Knowledge-Based Proof Planning. Artififitial Intelligence\u00a0115(1), 65\u2013105 (1999)","journal-title":"Artififitial Intelligence"},{"key":"15_CR36","unstructured":"MuPAD home page, http:\/\/hpc.cs.ehime-u.ac.jp\/MuPAD\/"},{"key":"15_CR37","series-title":"Mathematics and Plausible Reasoning","volume-title":"Induction and Analogy in Mathematics","author":"G. P\u00f3lya","year":"1968","unstructured":"P\u00f3lya, G.: Induction and Analogy in Mathematics. Mathematics and Plausible Reasoning, vol.\u00a01. Princeton University Press, Princeton (1968)"},{"key":"15_CR38","series-title":"Mathematics and Plausible Reasoning","volume-title":"Patterns of Plausible Inference","author":"G. P\u00f3lya","year":"1968","unstructured":"P\u00f3lya, G.: Patterns of Plausible Inference. Mathematics and Plausible Reasoning, vol.\u00a02. Princeton University Press, Princeton (1968)"},{"key":"15_CR39","unstructured":"P\u00f3lya, G.: How to Solve It, 2nd edn. Penguin Books (1957)"},{"key":"15_CR40","volume-title":"Mathematical Discovery on Understanding, Learning, and Teaching Problem Solving","author":"G. P\u00f3lya","year":"1962","unstructured":"P\u00f3lya, G.: Mathematical Discovery on Understanding, Learning, and Teaching Problem Solving, vol.\u00a01, 2. John Wiley & Sons, New York (1962)"},{"key":"15_CR41","volume-title":"Learning to Think Mathematically: Problem Solving, Metacognition, and Sense Making in Mathematics, ch. 15","author":"H. Schoenfeld","year":"1992","unstructured":"Schoenfeld, H.: Learning to Think Mathematically: Problem Solving, Metacognition, and Sense Making in Mathematics, ch. 15. McMillan Publ. Company, New York (1992)"},{"issue":"1-3","key":"15_CR42","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/A:1022963714083","volume":"38","author":"P.A. Cairns","year":"2003","unstructured":"Cairns, P.A., Gow, J.: On Dynamically Presenting a Topology course. Ann. Math. Artif. Intell.\u00a038(1-3), 91\u2013104 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"15_CR43","first-page":"141","volume-title":"Artificial Intelligence in Education","author":"E. Melis","year":"2003","unstructured":"Melis, E., Ullrich, C.: How to teach it - Polya-scenarios in ActiveMath. In: Hoppe, U., Verdejo, F., Kay, J. (eds.) Artificial Intelligence in Education, pp. 141\u2013147. IOS Press, Amsterdam (2003)"},{"key":"15_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-36469-2_7","volume-title":"Mathematical Knowledge Management","author":"G. Goguadze","year":"2003","unstructured":"Goguadze, G., Melis, E., Ullrich, C., Cairns, P.A.: Problems and Solutions for Markup for Mathematical Examples and Exercises. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol.\u00a02594, pp. 80\u201392. Springer, Heidelberg (2003)"},{"key":"15_CR45","unstructured":"Maplesoft: Maple, http:\/\/www.maplesoft.com\/"},{"key":"15_CR46","unstructured":"Design Science: WebEQ, http:\/\/www.dessci.com\/en\/products\/webeq\/"},{"key":"15_CR47","unstructured":"Microsoft Corporation: Microsoft Agent, http:\/\/www.microsoft.com\/msagent\/default.htm"},{"issue":"1","key":"15_CR48","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/93.664741","volume":"5","author":"M. Hayashi","year":"1998","unstructured":"Hayashi, M.: Image Compositing Based on Virtual Cameras. IEEE Multi Media\u00a05(1), 36\u201348 (1998)","journal-title":"IEEE Multi Media"},{"key":"15_CR49","unstructured":"NHK: TVML, http:\/\/www.strl.nhk.or.jp\/TVML\/"},{"key":"15_CR50","unstructured":"Microsoft Corporation: Microsoft Agent, http:\/\/www.microsoft.com\/msagent\/default.htm"},{"key":"15_CR51","volume-title":"Theory and Problems of Introduction to Mathematical Economics","author":"T.D. Edward","year":"1980","unstructured":"Edward, T.D.: Theory and Problems of Introduction to Mathematical Economics, 3rd edn. McGraw-Hill, New York (1980)","edition":"3"},{"key":"15_CR52","unstructured":"Downing, D.: Calculus, The Easy Way, 3rd edn. Barron\u2019s Educational Series Inc. (1996)"},{"key":"15_CR53","unstructured":"Ebner, D.: Math Word Problems, The Easy Way. Barron\u2019s Educational Series Inc. (2002)"},{"key":"15_CR54","unstructured":"Bleau, B.L.: Forgotten Calculus, 3rd edn. Barron\u2019s Educational Series Inc. (2002)"}],"container-title":["Lecture Notes in Computer Science","Databases in Networked Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31970-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T20:21:17Z","timestamp":1740255677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31970-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253617","9783540319702"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31970-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}