{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:01Z","timestamp":1725558541042},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_29","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T06:45:36Z","timestamp":1277793936000},"page":"336-344","source":"Crossref","is-referenced-by-count":1,"title":["An Integrated Development Environment for Collections"],"prefix":"10.1007","author":[{"given":"Constantin","family":"Jucovschi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","volume-title":"Eclipse Technology eXchange ETX 2006","author":"D. Aspinall","year":"2006","unstructured":"Aspinall, D., L\u00fcth, C., Winterstein, D., Fayyaz, A.: Proof general in eclipse. In: Eclipse Technology eXchange ETX 2006, ACM Press, New York (2006)"},{"key":"29_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"ESWC 2010","author":"C. David","year":"2010","unstructured":"David, C., Kohlhase, M., Lange, C., Rabe, F., Zhiltsov, N., Zholudev, V.: Publishing math lecture notes as linked data. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E. (eds.) ESWC 2010. LNCS. Springer, Heidelberg (June 2010)"},{"key":"29_CR3","unstructured":"Eclipse: An open development platform (May 2008), http:\/\/www.eclipse.org\/"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Farmer, W.M.: Mathematical Knowledge Management. In: Schwartz, D.G. (ed.) Encyclopedia of Knowledge Management, pp. 599\u2013604. Idea Group Reference (2005)","DOI":"10.4018\/978-1-59140-573-3.ch078"},{"key":"29_CR5","series-title":"LNAI","first-page":"355","volume-title":"AISC\/Calculemus\/MKM 2010","author":"A. Kohlhase","year":"2010","unstructured":"Kohlhase, A., Kohlhase, M., Lange, C.: Dimensions of formality: A case study for MKM in software engineering. In: Autexier, S., et al. (eds.) AISC\/Calculemus\/MKM 2010. LNCS (LNAI), vol.\u00a06167, pp. 355\u2013369. Springer, Heidelberg (2010)"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Kohlhase, A., Kohlhase, M., Lange, C.: sTeX \u2013 a system for flexible formalization of linked data. submitted to I-SEMANTICS 2010 (2010)","DOI":"10.1145\/1839707.1839712"},{"key":"29_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]","author":"M. Kohlhase","year":"2006","unstructured":"Michael Kohlhase. OMDoc \u2013 An open markup format for mathematical documents (Version 1.2). Number 4180 in LNAI. Springer Verlag, August 2006."},{"issue":"2","key":"29_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s11786-008-0055-5","volume":"2","author":"M. Kohlhase","year":"2008","unstructured":"Kohlhase, M.: Using $\\mbox{\\LaTeX}$ as a semantic markup format. Mathematics in Computer Science\u00a02(2), 279\u2013304 (2008)","journal-title":"Mathematics in Computer Science"},{"key":"29_CR9","series-title":"LNAI","first-page":"370","volume-title":"AISC\/Calculemus\/MKM 2010","author":"M. Kohlhase","year":"2010","unstructured":"Kohlhase, M., Rabe, F., Zholudev, V.: Towards mkm in the large: Modular representation and scalable software architecture. In: Autexier, S., et al. (eds.) AISC\/Calculemus\/MKM 2010. LNCS (LNAI), vol.\u00a06167, pp. 370\u2013384. Springer, Heidelberg (2010)"},{"key":"29_CR10","unstructured":"Miller, B.: LaTeXML: A $\\mbox{\\LaTeX}$ to XML converter (March 2010), http:\/\/dlmf.nist.gov\/LaTeXML\/"},{"key":"29_CR11","unstructured":"Pesikan, D.: Coping with content representations of mathematics in editor environments: nOMDoc mode. Bachelor\u2019s thesis, Computer Science, Jacobs University, Bremen (2007)"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Rabe, F., Sch\u00fcrmann, C.: A Practical Module System for LF. In: Proceedings of the Workshop on Logical Frameworks Meta-Theory and Practice, LFMTP (2009)","DOI":"10.1145\/1577824.1577831"},{"key":"29_CR13","unstructured":"Semantic Markup for LaTeX (July 2009), http:\/\/kwarc.info\/projects\/stex\/"},{"key":"29_CR14","unstructured":"Texlipse: Adding latex support to the eclipse ide (May 2008), http:\/\/texlipse.sourceforge.net\/"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"T-76.115 technical specification. texlipse project (March 2010), http:\/\/prdownloads.sourceforge.net\/texlipse\/texlipse-techspec-1.0.0.pdf?download","DOI":"10.9753\/icce.v2.0"}],"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_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T15:51:19Z","timestamp":1685634679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14128-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141270","9783642141287"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14128-7_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}