3 papers
cs.HC2014
Towards an Interaction-based Integration of MKM Services into End-User Applications
Constantin Jucovschi
The Semantic Alliance (SAlly) Framework, first presented at MKM 2012, allows integration of Mathematical Knowledge Management services into typical applications and end-user workfl…
cs.HC2012
Cost-Effective Integration of MKM Semantic Services into Editing Environments
Constantin Jucovschi
Integration of MKM services into editors has been of big interest in both formal as well as informal areas of MKM. Until now, most of the efforts to integrate MKM services into edi…
cs.OH2010
sTeXIDE: An Integrated Development Environment for sTeX Collections
Constantin Jucovschi, Michael Kohlhase
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 co…