We present a set of semantic services developed by us to support the educational process in mathematics. The functionality of these services is based on the use of mathematical ontologies OntoMath^Edu and OntoMath^PRO. The ontology of professional mathematical knowledge OntoMath^PRO is designed to classify and systematize the concepts of professional mathematics and includes several important areas of mathematics. Educational mathematical ontology OntoMath^Edu systematically represents knowledge on the training course “Planimetry”. For the use of ontologies in educational applications, an approach to the design of prerequisite relations in these ontologies has been developed. To support mathematical education, we have developed: a service for semantic search by mathematical formulas, a service for semantic annotation of educational materials, a service for visualizing subgraphs of the OntoMath^Edu ontology semantic network, a parallel formal/informal corpus of mathematical statements, a system for automatically generating test questions in mathematical disciplines.

We provide examples of successful application of the developed software tools.

The created software tools are built into the OntoMath digital ecosystem. This ecosystem implements the interaction of semantic services for managing mathematical knowledge.