Pages that link to "Item:Q2767941"
From MaRDI portal
The following pages link to Contribution of the ontology engineering to mathematical knowledge management (Q2767941):
Displaying 6 items.
- Ontological engineering and mathematical knowledge management: A formalization of projective geometry (Q1810912) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge (Q2696681) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
- Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* (Q5261298) (← links)
- Mathematical Knowledge Management (Q5313083) (← links)