Pages that link to "Item:Q2696681"
From MaRDI portal
The following pages link to \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge (Q2696681):
Displaying 5 items.
- Ontological engineering and mathematical knowledge management: A formalization of projective geometry (Q1810912) (← links)
- Contribution of the ontology engineering to mathematical knowledge management (Q2767941) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
- On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages (Q2891283) (← links)
- Approach to creating a thesaurus and a knowledge graph of an applied subject area (Q6059280) (← links)