On a Multi-language Computer Support of a Human Mathematical Activity. - Elena Glazunova; Bella Golub; Alexander Lyaletski (ICTERI, 2019)