Mathematical Knowledge Representation: Semantic Models and Formalisms
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 2 papers in the map (data through 13 Oct 2026). First posted on arXiv 28 Aug 2014.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2023: 2.
2 papers.