Abstract:
We consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies.
These solutions form the basis of a specialized digital ecosystem OntoMath which consists of the ontology of the logical structure of mathematical documents and ontology of mathematical knowledge,
tools of text analysis, recommender system and other applications to manage mathematical knowledge.