4 citations · 10 across the 5 of their papers we have counts for
5 papers
The Planetary System: Executable Science, Technology, Engineering and Math Papers
Christoph Lange, Michael Kohlhase, Catalin David +5
Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments…
sTeX+ - a System for Flexible Formalization of Linked Data
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
We present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing,…
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…
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…
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…