Mathematical Knowledge Representation: Semantic Models and Formalisms
classification
💻 cs.AI
cs.DLcs.IR
keywords
mathematicalknowledgeformalismsmodelsrepresentationsemanticapplicationscovering
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.