Paper Info
Title
STEXIDE: an integrated development environment for 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, timeconsuming 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.
Year
DOI
Venue
2010
10.1007/978-3-642-14128-7_29
artificial intelligence and symbolic computation
DocType
Volume
ISSN
Conference
abs/1005.5489
0302-9743
ISBN
Citations 
PageRank 
3-642-14127-7
5
0.55
References 
Authors
6
2
Name
Order
Citations
PageRank
Constantin Jucovschi1537.56
Michael Kohlhase21095127.65