# Mathematical Knowledge Representation: Semantic Models and Formalisms

arXiv: https://arxiv.org/abs/1408.6806 · HTML: https://mlsanity.com/paper/1408.6806/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 28 Aug 2014.

## Built on by (most cited first, 2 of 2)

- [Synthesis of Mathematical programs from Natural Language Specifications](https://mlsanity.com/paper/2304.03287/) (2023)
- [OntoMathPRO 2.0 Ontology: Updates of the Formal Model](https://mlsanity.com/paper/2303.13542/) (2023)

## 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.