3 citations · 5 across the 3 of their papers we have counts for
3 papers
Mathematical Knowledge Representation: Semantic Models and Formalisms
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev +3
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose…
Ontology: A Linked Data Hub for Mathematics
Olga Nevzorova, Nikita Zhiltsov, Alexander Kirillovich +1
In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comp…
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…