4 citations · 10 across the 5 of their papers we have counts for
Showing cs.DLShow all
3 papers · 1 filter
cs.DL2010★ 3 cited
Towards OpenMath Content Dictionaries as Linked Data
Christoph Lange
"The term 'Linked Data' refers to a set of best practices for publishing and connecting structured data on the web". Linked Data make the Semantic Web work practically, which means…
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…
cs.DL2010★ 4 cited
wiki.openmath.org - how it works, how you can participate
Christoph Lange
At http://wiki.openmath.org, the OpenMath 2 and 3 Content Dictionaries are accessible via a semantic wiki interface, powered by the SWiM system. We shortly introduce the inner work…