research
∙
03/17/2023
OntoMath^𝐏𝐑𝐎 2.0 Ontology: Updates of the Formal Model
This paper is devoted to the problems of ontology-based mathematical kno...
share
research
∙
08/28/2022
Adapting the LodView RDF Browser for Navigation over the Multilingual Linguistic Linked Open Data Cloud
The paper is dedicated to the use of LodView for navigation over the mul...
research
∙
02/16/2017
OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
In this article we consider the basic ideas, approaches and results of d...
research
∙
08/28/2014
Mathematical Knowledge Representation: Semantic Models and Formalisms
The paper provides a survey of semantic methods for solution of fundamen...
research
∙
07/17/2014