3 citations · 3 across the 5 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.DL2010
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…
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…