31 citations · 149 across the 30 of their papers we have counts for
Showing cs.OHShow all
2 papers · 1 filter
cs.OH2010
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev
MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interco…
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…