Mathematical knowledge representation: semantic models and formalisms
From MaRDI portal
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.
Recommendations
- Ontological engineering and mathematical knowledge management: A formalization of projective geometry
- Contribution of the ontology engineering to mathematical knowledge management
- Mathematical knowledge representation. (Extended abstract)
- scientific article; zbMATH DE number 1951641
- scientific article; zbMATH DE number 5124871
Cites work
- scientific article; zbMATH DE number 1818513 (Why is no real title available?)
- scientific article; zbMATH DE number 3986607 (Why is no real title available?)
- scientific article; zbMATH DE number 4053069 (Why is no real title available?)
- scientific article; zbMATH DE number 2024859 (Why is no real title available?)
- scientific article; zbMATH DE number 2061716 (Why is no real title available?)
- scientific article; zbMATH DE number 2170576 (Why is no real title available?)
- A Review of Mathematical Knowledge Management
- Computerizing mathematical text with MathLang
- Handbook on ontologies
- How to prove it. A structured approach
- Knowledge engineering: Principles and methods
- MathJax: a platform for mathematics on the web
- Mathematics and the World Wide Web
- Methods and means for semantic structuring of electronic mathematical documents
- The Mizar Mathematical Library in OMDoc: translation and applications
- The challenge of computer mathematics
- The information system Math-Net.Ru. Application of contemporary technologies in the scientific work of mathematicians
- Using La\TeX\ as a semantic markup format
Cited in
(31)- Mathematical knowledge representation. (Extended abstract)
- OntoMath\(^\mathit{Edu}\): a linguistically grounded educational mathematical ontology
- Towards a heterogeneous query language for mathematical knowledge
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Combining source, content, presentation, narration, and relational representation
- Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics
- Mathematical Knowledge Management
- scientific article; zbMATH DE number 5124871 (Why is no real title available?)
- Logical analysis of emotions in text from natural language
- Formal representation issues in an open mathematical knowledge base. (Extended abstract)
- 10 years later: the Mathematics Subject Classification and Linked Open Data
- Searching for mathematical formulas based on graph representation learning
- Towards a self-reflective, context-aware semantic representation of mathematical specifications
- Representing, archiving, and searching the space of mathematical knowledge
- A data model and encoding for a semantic, multilingual terminology of mathematics
- MBase: Representing knowledge and context for the integration of mathematical software systems
- scientific article; zbMATH DE number 890265 (Why is no real title available?)
- Semantic representation of general topology in the Wolfram language
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
- Mathematical Knowledge Management
- scientific article; zbMATH DE number 622673 (Why is no real title available?)
- A Review of Mathematical Knowledge Management
- scientific article; zbMATH DE number 4201691 (Why is no real title available?)
- A software platform prototype for publishing semantic data from scientific collections in mathematics to the LOD cloud
- Ontological engineering and mathematical knowledge management: A formalization of projective geometry
- \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge
- \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model
- Development of the semantic space ``mathematics by integrating a subspace of its applied area
- Mathematical world knowledge contained in the multilingual Wikipedia project
- Creating the applied subject area ontology by means of the content of the digital semantic library
- scientific article; zbMATH DE number 1951641 (Why is no real title available?)
Describes a project that uses
Uses Software
This page was built for publication: Mathematical knowledge representation: semantic models and formalisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2263116)
