Pages that link to "Item:Q1810912"
From MaRDI portal
The following pages link to Ontological engineering and mathematical knowledge management: A formalization of projective geometry (Q1810912):
Displaying 4 items.
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge (Q2696681) (← links)
- Contribution of the ontology engineering to mathematical knowledge management (Q2767941) (← links)