5 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2014★ 5 cited
A Logic-Independent IDE
Florian Rabe
The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE…
cs.LO2012★ 1 cited
A Query Language for Formal Mathematical Libraries
Florian Rabe
One of the most promising applications of mathematical knowledge management is search: Even if we restrict attention to the tiny fragment of mathematics that has been formalized, t…
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…