STEXIDE: an integrated development environment for STEX collections. (English) Zbl 1278.68294

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 336-344 (2010).
Summary: 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.
For the entire collection see [Zbl 1194.68011].


68T30 Knowledge representation
Full Text: DOI