STEXIDE: An integrated development environment for STEX collections

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6167 LNAI, Issue , 2010, Pages 336-344

  Jucovschi, Constantin ^a   Kohlhase, Michael ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHORING ENVIRONMENTS; CONTEXT-AWARE; GRAPH NAVIGATION; INTEGRATED DEVELOPMENT ENVIRONMENT; SUBTASKS;

SOFTWARE AGENTS;

WEB SERVICES;

EID: 77954871807     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14128-7_29     Document Type: Conference Paper

References (15)

1. Aspinall, D., Lüth, C.,Winterstein, D., Fayyaz, A.: Proof general in eclipse. In: Eclipse Technology eXchange ETX 2006, ACM Press, New York (2006)
2. 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)
3. Eclipse: An open development platform (May 2008), http://www.eclipse.org/
4. Farmer, W.M.: Mathematical Knowledge Management. In: Schwartz, D.G. (ed.) Encyclopedia of Knowledge Management, pp. 599-604. Idea Group Reference (2005)
5. 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)
6. Kohlhase, A., Kohlhase, M., Lange, C.: sTeX - a system for flexible formalization of linked data. submitted to I-SEMANTICS 2010 (2010)
7. Michael Kohlhase. OMDoc - An open markup format for mathematical documents (Version 1.2). Number 4180 in LNAI. Springer Verlag, August 2006.
8. Kohlhase, M.: Using LATEXas a semantic markup format. Mathematics in Computer Science 2(2), 279-304 (2008)
9. 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/MKM2010. LNCS (LNAI), vol.6167, pp. 370-384. Springer, Heidelberg (2010)
10. Miller, B.: LaTeXML: A LATEXto XML converter (March 2010), http://dlmf.nist.gov/LaTeXML/
11. Pesikan, D.: Coping with content representations of mathematics in editor environments: nOMDoc mode. Bachelor's thesis, Computer Science, Jacobs University, Bremen (2007)
12. 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)
13. Semantic Markup for LaTeX (July 2009), http://kwarc.info/projects/stex/
14. Texlipse: Adding latex support to the eclipse ide (May 2008), http://texlipse.sourceforge.net/
15. T-76.115 technical specification. texlipse project (March 2010), http://prdownloads.sourceforge.net/texlipse/ texlipse-techspec-1.0.0.pdf? download