3 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
Towards Ontological Support for Principle Solutions in Mechanical Engineering
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi +3
The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principl…
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…
Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LaTeX (sTeX)
Constantin Jucovschi
Before we can get the whole potential of employing computers in the process of managing mathematical `knowledge', we have to convert informal knowledge into machine-oriented repres…
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…