2 citations · 5 across the 5 of their papers we have counts for
Showing cs.DLShow all
2 papers · 1 filter
cs.DL2010
Dimensions of Formality: A Case Study for MKM in Software Engineering
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats ca…
cs.DL2010★ 2 cited
Publishing Math Lecture Notes as Linked Data
Catalin David, Michael Kohlhase, Christoph Lange +3
We mark up a corpus of LaTeX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable f…