sTeXIDE: An Integrated Development Environment for sTeX Collections
Constantin Jucovschi, Michael Kohlhase
TL;DR
sTeXIDE is an Eclipse-based integrated development environment designed to improve productivity in authoring sTeX documents by supporting context-aware features, module management, and semantic navigation.
Contribution
This work introduces sTeXIDE, a novel IDE tailored for sTeX, integrating semantic support and module management to streamline document authoring.
Findings
Enhanced productivity in sTeX document authoring.
Supports semantic macro retrieval and theory graph navigation.
Improves efficiency in managing sTeX collections.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics, Computing, and Information Processing · Digital Humanities and Scholarship · Logic, programming, and type systems