Mathematical Knowledge Representation: Semantic Models and Formalisms
This work addresses the challenge of organizing and accessing mathematical information for researchers and learners, but it appears incremental as it builds on existing semantic methods.
The paper tackles the problem of managing mathematical knowledge by proposing an ontology that covers various fields of mathematics, and demonstrates its application in mathematical formula search and learning.
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.