Picture for Olga Nevzorova

Olga Nevzorova

OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model

Add code
Mar 17, 2023
Viaarxiv icon

OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management

Add code
Feb 16, 2017
Figure 1 for OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
Figure 2 for OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
Figure 3 for OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
Figure 4 for OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
Viaarxiv icon

Mathematical Knowledge Representation: Semantic Models and Formalisms

Add code
Aug 29, 2014
Viaarxiv icon

$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics

Add code
Aug 11, 2014
Figure 1 for $OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
Figure 2 for $OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
Figure 3 for $OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
Figure 4 for $OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
Viaarxiv icon