Mathematical Knowledge Representation: Semantic Models and Formalisms
Artificial Intelligence
2014-09-01 v2 Digital Libraries
Information Retrieval
Abstract
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 an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.
Cite
@article{arxiv.1408.6806,
title = {Mathematical Knowledge Representation: Semantic Models and Formalisms},
author = {Alexander Elizarov and Alexander Kirillovich and Evgeny Lipachev and Olga Nevzorova and Valery Solovyev and Nikita Zhiltsov},
journal= {arXiv preprint arXiv:1408.6806},
year = {2014}
}
Comments
10 pages, Lobachevskii J. of Mathematics, 2014, V.35, No 4