sTeXIDE: An Integrated Development Environment for sTeX Collections

Details sTeXIDE: An Integrated Development Environment for sTeX Collections sTeXIDE: An Integrated Development Environment for sTeX Collections

2010-05-29

arxiv.org/abs/1005.5489v1

Computer Science

Other Computer Science

To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

sTeXIDE: An Integrated Development Environment for sTeX Collections does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with sTeXIDE: An Integrated Development Environment for sTeX Collections, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and sTeXIDE: An Integrated Development Environment for sTeX Collections will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-161240