Abstract
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of 
documents (GenCS), we identified a set of common, time-consuming subtasks, which can be supported in an integrated authoring environment.
We have adapted the modular Eclipse IDE into 
, an authoring solution for enhancing productivity in contributing to 
based corpora. 
supports context-aware command completion, module management, semantic macro retrieval, and theory graph navigation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aspinall, D., Lüth, C., Winterstein, D., Fayyaz, A.: Proof general in eclipse. In: Eclipse Technology eXchange ETX 2006, ACM Press, New York (2006)
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önen, E. (eds.) ESWC 2010. LNCS. Springer, Heidelberg (June 2010)
Eclipse: An open development platform (May 2008), http://www.eclipse.org/
Farmer, W.M.: Mathematical Knowledge Management. In: Schwartz, D.G. (ed.) Encyclopedia of Knowledge Management, pp. 599–604. Idea Group Reference (2005)
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. 6167, pp. 355–369. Springer, Heidelberg (2010)
Kohlhase, A., Kohlhase, M., Lange, C.: sTeX – a system for flexible formalization of linked data. submitted to I-SEMANTICS 2010 (2010)
Michael Kohlhase. OMDoc – An open markup format for mathematical documents (Version 1.2). Number 4180 in LNAI. Springer Verlag, August 2006.
Kohlhase, M.: Using \(\mbox{\LaTeX}\) as a semantic markup format. Mathematics in Computer Science 2(2), 279–304 (2008)
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. 6167, pp. 370–384. Springer, Heidelberg (2010)
Miller, B.: LaTeXML: A \(\mbox{\LaTeX}\) to XML converter (March 2010), http://dlmf.nist.gov/LaTeXML/
Pesikan, D.: Coping with content representations of mathematics in editor environments: nOMDoc mode. Bachelor’s thesis, Computer Science, Jacobs University, Bremen (2007)
Rabe, F., Schürmann, C.: A Practical Module System for LF. In: Proceedings of the Workshop on Logical Frameworks Meta-Theory and Practice, LFMTP (2009)
Semantic Markup for LaTeX (July 2009), http://kwarc.info/projects/stex/
Texlipse: Adding latex support to the eclipse ide (May 2008), http://texlipse.sourceforge.net/
T-76.115 technical specification. texlipse project (March 2010), http://prdownloads.sourceforge.net/texlipse/texlipse-techspec-1.0.0.pdf?download
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jucovschi, C., Kohlhase, M. (2010).
An Integrated Development Environment for 
Collections.
In: Autexier, S., et al. Intelligent Computer Mathematics. CICM 2010. Lecture Notes in Computer Science(), vol 6167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14128-7_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-14128-7_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14127-0
Online ISBN: 978-3-642-14128-7
eBook Packages: Computer ScienceComputer Science (R0)