Mathematical Knowledge Representation: Semantic Models and Formalisms
Elizarov, Alexander · Kirillovich, Alexander · Lipachev, Evgeny · Nevzorova, Olga · Solovyev, Valery · Zhiltsov, Nikita
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.