Pages that link to "Item:Q5892023"
From MaRDI portal
The following pages link to Methods and means for semantic structuring of electronic mathematical documents (Q5892023):
Displayed 5 items.
- Creating the applied subject area ontology by means of the content of the digital semantic library (Q2095878) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← 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)
- \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model (Q2700049) (← links)