Brief history

Computer Assisted Mathematics was created in 2019 at the Laboratory of Algorithmic Mathematics. The laboratory was founded in 2015 on the basis of the St. Petersburg Electrotechnical University "LETI". The famous scientist in the field of symbolic computing Bruno Buchberger took part in the creation of the laboratory. The name of the magazine was given by academician of the RAS Yuri Vldadimirovich Matiyasevich.


For scientists and teachers developing the direction of algorithmic mathematics and interested in promoting of important discrete mathematics and theoretical informatics ideas into education in technical universities and schools, including through the development of computer tools for supporting research and productive thinking.

Our Mission:

To contribute to the development of algorithmic mathematics and its applications, including the creation and implementation of new computer tools based on the modeling of mathematical methods in scientific research and education. Provide a common information space for university teachers, young scientists, graduate students and students who are interested theoretical foundations of computer science and information technology applications in various fields.

The journal publishes:

- Results of original research in the field of mathematical modelling, informatics and information technologies;
- Scientific articles on technologies supporting scientific research activities in the learning process.

The main scientific direction of the journal:

- Algorithmic Mathematics and Mathematical Modeling
- Training in algorithmic mathematics and mathematical modeling
- Computer tools to support teaching and studying of mathematics and computer science

Articles on the following topics are accepted:

- Algorithmic mathematics
- Mathematical modeling
- Discrete analysis
- Control theory
- Theoretical computer science
- Symbolic computations
- Unsolved problems in theoretical and applied computer science
- Application of mathematics to software engineering
- Computer aided education in mathematics
- Software in math education and research
- Training in algorithmic mathematics and mathematical modeling
- Computer tools and teaching technologies to support productive thinking in mathematics and computer science