2000 character limit reached
Mathematical Knowledge Representation: Semantic Models and Formalisms
Published 28 Aug 2014 in cs.AI, cs.DL, and cs.IR | (1408.6806v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.