The article describes the experience of digital transformation of mathematical disciplines based on author's digital educational platform Mirera. The Mirera DEP is optimized for the Russian system of organization of higher education, focused on the development and delivery of courses that combine online and offline technologies for conducting the educational process. The Mirera DEP provides course authors with tools for developing computerized courses with automated verification of the correctness and independence of current and control tasks performed by students using artificial intelligence methods. Various original types of tests are built into the platform, supporting both in the description of tasks and in answer options, content in various formats, including TeX, sequences of elements (for automated testing of student knowledge of the structure of proof of course theorems or schemes for solving typical problems), semantic analysis of text responses, etc.