Computational "Accompaniment" of the Introduction of New Mathematical Concepts. - Andrey Lavrenov; Elena Tolkacheva; Sergei Pozdniakov (Comput., 2023)