Open image in new window An Integrated Development Environment for Open image in new window Collections

  • Constantin Jucovschi
  • Michael Kohlhase
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6167)


Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of Open image in new window 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 Open image in new window , an authoring solution for enhancing productivity in contributing to Open image in new window based corpora. Open image in new window supports context-aware command completion, module management, semantic macro retrieval, and theory graph navigation.


Mathematical Knowledge Semantic Structure Integrate Development Environment Good Intuition Semantic Markup 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ALWF06]
    Aspinall, D., Lüth, C., Winterstein, D., Fayyaz, A.: Proof general in eclipse. In: Eclipse Technology eXchange ETX 2006, ACM Press, New York (2006)Google Scholar
  2. [DKL+10]
    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)Google Scholar
  3. [Ecl08]
    Eclipse: An open development platform (May 2008),
  4. [Far05]
    Farmer, W.M.: Mathematical Knowledge Management. In: Schwartz, D.G. (ed.) Encyclopedia of Knowledge Management, pp. 599–604. Idea Group Reference (2005)Google Scholar
  5. [KKL10a]
    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)Google Scholar
  6. [KKL10b]
    Kohlhase, A., Kohlhase, M., Lange, C.: sTeX – a system for flexible formalization of linked data. submitted to I-SEMANTICS 2010 (2010)Google Scholar
  7. [Koh06]
    Michael Kohlhase. OMDoc – An open markup format for mathematical documents (Version 1.2). Number 4180 in LNAI. Springer Verlag, August 2006.Google Scholar
  8. [Koh08]
    Kohlhase, M.: Using \(\mbox{\LaTeX}\) as a semantic markup format. Mathematics in Computer Science 2(2), 279–304 (2008)MATHCrossRefGoogle Scholar
  9. [KRZ10]
    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)Google Scholar
  10. [Mil10]
    Miller, B.: LaTeXML: A \(\mbox{\LaTeX}\) to XML converter (March 2010),
  11. [Pes07]
    Pesikan, D.: Coping with content representations of mathematics in editor environments: nOMDoc mode. Bachelor’s thesis, Computer Science, Jacobs University, Bremen (2007)Google Scholar
  12. [RS09]
    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)Google Scholar
  13. [sTe09]
    Semantic Markup for LaTeX (July 2009),
  14. [TeX08]
    Texlipse: Adding latex support to the eclipse ide (May 2008),
  15. [TeX10]
    T-76.115 technical specification. texlipse project (March 2010),

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Constantin Jucovschi
    • 1
  • Michael Kohlhase
    • 1
  1. 1.Computer ScienceJacobs University Bremen 

Personalised recommendations