OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
A practical module system for LF
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
STEX+: a system for flexible formalization of linked data
Proceedings of the 6th International Conference on Semantic Systems
Dimensions of formality: a case study for MKM in software engineering
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Towards MKM in the large: modular representation and scalable software architecture
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Publishing math lecture notes as linked data
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
STEX+: a system for flexible formalization of linked data
Proceedings of the 6th International Conference on Semantic Systems
Combining source, content, presentation, narration, and relational representation
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Information and Computation
Hi-index | 0.00 |
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.