\(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge (Q2696681): Difference between revisions

@@ Property / cites work @@
+Handbook on Ontologies
@@ Property / cites work: Handbook on Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Ontology based approach to modeling of the subject domain ``mathematics'' in the digital library
+Normal rank
@@ Property / cites work @@
+years later: the Mathematics Subject Classification and Linked Open Data
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge representation: semantic models and formalisms
+Normal rank
@@ Property / cites work @@
+A survey of languages for formalizing mathematics
@@ Property / cites work: A survey of languages for formalizing mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+The global digital mathematics library and the international mathematical knowledge trust
+Normal rank
@@ Property / cites work @@
+Methods and means for semantic structuring of electronic mathematical documents
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics
+Normal rank