Pages that link to "Item:Q2263116"

The following pages link to Mathematical knowledge representation: semantic models and formalisms (Q2263116):

Displaying 20 items.

• Ontological engineering and mathematical knowledge management: A formalization of projective geometry (Q1810912) (← links)
• Creating the applied subject area ontology by means of the content of the digital semantic library (Q2095878) (← links)
• 10 years later: the Mathematics Subject Classification and Linked Open Data (Q2128813) (← links)
• Towards a heterogeneous query language for mathematical knowledge (Q2219379) (← links)
• Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics (Q2631217) (← links)
• \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge (Q2696681) (← links)
• Development of the semantic space ``mathematics'' by integrating a subspace of its applied area (Q2700040) (← links)
• \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model (Q2700049) (← links)
• Formal representation issues in an open mathematical knowledge base. (Extended abstract) (Q2767925) (← links)
• Mathematical knowledge representation. (Extended abstract) (Q2767936) (← links)
• (Q3350832) (← links)
• (Q3421352) (← links)
• A Review of Mathematical Knowledge Management (Q3637281) (← links)
• (Q4303122) (← links)
• (Q4413896) (← links)
• (Q4882530) (← links)
• Logical analysis of emotions in text from natural language (Q5114311) (← links)
• Mathematical Knowledge Management (Q5313059) (← links)
• A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)
• MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)