The model of the infrastructure of mathematical knowledge is presented as a system of interconnected mathematical artifacts implemented in the form of such specialized ontologies as the basic ontology of professional mathematical knowledge, the ontology of theorems of professional mathematics, the ontology of mathematical problems, methods for solving mathematical problems, algorithms and programs, and a number of others. The model also includes modules for the automated construction of components of the infrastructure of mathematical knowledge and their use in the tasks of managing mathematical knowledge.

knowledge infrastructure, mathematical artifact, mathematical ontology, representation of mathematical knowledge, digital library