2 citations · 2 across the 4 of their papers we have counts for
4 papers
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
Serge Autexier, Catalin David, Dominik Dietrich +2
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published researc…
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…
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…
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…