2014/08/28 by Elizarov, Alexander, Kirillovich, Alexander, Lipachev, Evgeny +3
#68T30 #Artificial Intelligence (cs.AI) #Digital Libraries (cs.DL) #FOS: Computer and information sciences #I.2.4 #Information Retrieval (cs.IR)
paper · doi:10.48550/arxiv.1408.6806
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.