{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:51Z","timestamp":1725471171420},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_18","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T08:23:44Z","timestamp":1159518224000},"page":"222-236","source":"Crossref","is-referenced-by-count":1,"title":["From Untyped to Polymorphically Typed Objects in Mathematical Web Services"],"prefix":"10.1007","author":[{"given":"William","family":"Naylor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Padget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Web Services - Axis, Apache Project (March 2006), Available via: \n                    \n                      http:\/\/ws.apache.org\/axis\/"},{"key":"18_CR2","unstructured":"The Axiom Computer Algebra System (March 2006), Available via Wiki at: \n                    \n                      http:\/\/wiki.axiom-developer.org\/FrontPage"},{"key":"18_CR3","first-page":"190","volume-title":"EEE","author":"R. Baraka","year":"2005","unstructured":"Baraka, R., Caprotti, O., Schreiner, W.: A Web Registry for Publishing and Discovering Mathematical Services. In: EEE, pp. 190\u2013193. IEEE Computer Society, Los Alamitos (2005)"},{"key":"18_CR4","unstructured":"Bronstein, M., Maza, M.M.: The Standard Aldor Library, Version 1.0.2. Available via: \n                    \n                      http:\/\/www-sop.inria.fr\/cafe\/Manuel.Bronstein\/libaldor\/html"},{"key":"18_CR5","unstructured":"Buswell, S., Caprotti, O., Dewar, M.: Mathematical Service Description Language. Technical report (2003), Available from the MONET website: \n                    \n                      http:\/\/monet.nag.co.uk\/cocoon\/monet\/publicdocs\/monet-msdl-final.pdf"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-540-25956-5_15","volume-title":"The Semantic Web: Research and Applications","author":"O. Caprotti","year":"2004","unstructured":"Caprotti, O., Dewar, M., Davenport, J., Padget, J.: Mathematics on the (Semantic) Net. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol.\u00a03053, pp. 213\u2013224. Springer, Heidelberg (2004)"},{"key":"18_CR7","unstructured":"Dewar, M., Smirnova, E., Watt, S.: XML in Mathematical Web Services. In: XML Conference proceedings (2005)"},{"key":"18_CR8","unstructured":"GENSS Home Page (March 2006), Available from: \n                    \n                      http:\/\/genss.cs.bath.ac.uk"},{"key":"18_CR9","unstructured":"MONET Home Page (March 2006, 2002), Available from: \n                    \n                      http:\/\/monet.nag.co.uk"},{"key":"18_CR10","unstructured":"Naylor, W.: The XML-DOM domain for the Aldor computer algebra system (March 2006), Available via: \n                    \n                      http:\/\/www.cs.bath.ac.uk\/~wn\/Papers\/usersGuide.ps"},{"key":"18_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/11618027_12","volume-title":"Mathematical Knowledge Management","author":"W. Naylor","year":"2006","unstructured":"Naylor, W., Padget, J.: Semantic Matching for Mathematical Services. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol.\u00a03863, pp. 174\u2013189. Springer, Heidelberg (2006)"},{"key":"18_CR12","unstructured":"OpenMath website (February 2002), \n                    \n                      http:\/\/www.openmath.org"},{"key":"18_CR13","unstructured":"So, C., Wang, Z., Huerter, S., Watt, S.: An Extensible OpenMath-Maple Translator. In: East Coast Computer Algebra Day (ECCAD) 2004, Wilfred Laurier University, Waterloo, Ontario (2004)"},{"key":"18_CR14","unstructured":"SOAP \u2013 Simple Object Access Protocol (March 2006), Available via: \n                    \n                      http:\/\/www.w3.org\/TR\/soap\/"},{"key":"18_CR15","unstructured":"The Unicode Standard (March 2006), Available via: \n                    \n                      http:\/\/www.unicode.org\/standard\/standard.html"},{"key":"18_CR16","unstructured":"Extensible Markup Language (XML), W3C (March 2006), Available via: \n                    \n                      http:\/\/www.w3.org\/XML\/"},{"key":"18_CR17","unstructured":"Document Object Model (DOM) Level 2 Core Specification, W3C (March 2006), Available via: \n                    \n                      http:\/\/www.w3.org\/TR\/2000\/REC-DOM-Level-2-Core-20001113\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11812289_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:27:02Z","timestamp":1619508422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11812289_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371045","9783540371069"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11812289_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}