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
∙
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