{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T04:09:47Z","timestamp":1741666187991,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642238659"},{"type":"electronic","value":"9783642238666"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23866-6_14","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T13:16:00Z","timestamp":1315660560000},"page":"126-135","source":"Crossref","is-referenced-by-count":0,"title":["WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models"],"prefix":"10.1007","author":[{"given":"Jean-Marie","family":"Gaillourdet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Grundmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Memmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"De\u00dfloch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"System Identification: Parameter and State Estimation","author":"P. Eykhoff","year":"1974","unstructured":"Eykhoff, P.: System Identification: Parameter and State Estimation. J.\u00a0Wiley, Chichester (1974)"},{"key":"14_CR2","unstructured":"Stein, W., et al.: Sage Mathematics Software. The Sage Development Team, version 4.5.3 (2010), http:\/\/www.sagemath.org"},{"key":"14_CR3","first-page":"1803","volume-title":"Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications, ED-MEDIA 2008","author":"M. Memmel","year":"2008","unstructured":"Memmel, M., Tomadaki, E., Wolpers, M.: An approach to enable collective intelligence in digital repositories. In: Luca, J., Weippl, E.R. (eds.) Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications, ED-MEDIA 2008, pp. 1803\u20131811. AACE, Vienna (2008)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-04636-0_13","volume-title":"Learning in the Synergy of Multiple Disciplines","author":"M. Wolpers","year":"2009","unstructured":"Wolpers, M., Memmel, M., Giretti, A.: Metadata in architecture education - first evaluation results of the MACE system. In: Cress, U., Dimitrova, V., Specht, M. (eds.) EC-TEL 2009. LNCS, vol.\u00a05794, pp. 112\u2013126. Springer, Heidelberg (2009)"},{"key":"14_CR5","unstructured":"Memmel, M., Schirru, R.: Sharing digital resources and metadata for open and flexible knowledge management systems. In: Tochtermann, K., Maurer, H. (eds.) Proceedings of the 7th International Conference on Knowledge Management (I-KNOW), pp. 41\u201348. Know-Center, Graz (2007) ISSN 0948-695x, Journal of Universal Computer Science"},{"key":"14_CR6","unstructured":"Wolfram: Wolfram demonstrations project, http:\/\/demonstrations.wolfram.com"},{"key":"14_CR7","unstructured":"Kohlhase, M.: Omdoc: Open mathematical documents. In: Vries, F., Attwell, G., Elferink, R., T\u00f6dt, A. (eds.) Open Source for Education, pp. 137\u2013143 (November 2005)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/333104.333110","volume":"6","author":"O. Caprotti","year":"1999","unstructured":"Caprotti, O., Carlisle, D.: Openmath and mathml: semantic markup for mathematics. Crossroads\u00a06, 11\u201314 (1999)","journal-title":"Crossroads"},{"key":"14_CR9","unstructured":"MathWeb: http:\/\/www.mathweb.org"},{"key":"14_CR10","unstructured":"StatProb: The encyclopedia sponsored by statistics and probability societies, http:\/\/statprob.com"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-02614-0_24","volume-title":"Intelligent Computer Mathematics","author":"J. Giceva","year":"2009","unstructured":"Giceva, J., Lange, C., Rabe, F.: Integrating web services into active mathematical documents. In: Carette, J., Dixon, L., Coen, C., Watt, S. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS, vol.\u00a05625, pp. 279\u2013293. Springer, Heidelberg (2009)"},{"key":"14_CR12","unstructured":"PlanetMath: http:\/\/planetmath.org"},{"key":"14_CR13","unstructured":"Melis, E., Goguadze, G., Libbrecht, P., Ullrich, C.: Active Math \u2013 a learning platform with semantic web features (2009), http:\/\/activemath.org"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-03359-9_5","volume-title":"Theorem Proving in Higher Order Logics","author":"A. Naumowicz","year":"2009","unstructured":"Naumowicz, A., Korni\u0142owicz, A.: A brief overview of mizar. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol.\u00a05674, pp. 67\u201372. Springer, Heidelberg (2009)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Doeben-Henisch, G.: The planet earth simulator project - a case study in computational semiotics. In: 7th AFRICON Conference in Africa, AFRICON 2004, vol.\u00a01, pp. 417\u2013422 (September 2004), http:\/\/oksimo.inm.de\/","DOI":"10.1109\/AFRICON.2004.1406707"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based and Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23866-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T12:17:53Z","timestamp":1741609073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23866-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642238659","9783642238666"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23866-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}