2000 character limit reached
Mathematical Knowledge Representation: Semantic Models and Formalisms (1408.6806v2)
Published 28 Aug 2014 in cs.AI, cs.DL, and cs.IR
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.