Вычислительная алгебра. Алгоритмы и программы символьных вычислений.
Научная биография:
В 1977 году закончил Московский государственный университет по специальности "математика".
В 2002 получил ученую степень к.ф.м.н. (по информатике) (смотри работы) в Институте программных систем.
С 1988 года работаю в Институте программных систем РАН.
Основные публикации:
С. Д. Мешвелиани, “Оценка сложности способа ЛЛЛ–Григорьева факторизации в GF(q)[x,y]”, Фундаментальная и прикладная математика, 8:1 (2002), 129–139
S. D. Mechveliani, “Computer algebra with Haskell: applying functional-categorial-‘lazy’ programming”, Proceedings of International Workshop CAAP-2001 (Dubna, Russia), 2001, 203–211; http://ca-d.jinr.ru/confs/CAAP/Final/proceedings/proceed.ps
С. Д. Мешвелиани, “Построение доказательных программ арифметики натуральных чисел в двоичном представлении”, Программные системы: теория и приложения, 9:4 (2018), 509–560
2017
2.
С. Д. Мешвелиани, “Программирование вычислительной алгебры на основе конструктивной математики. Области с разложением на простые множители”, Программные системы: теория и приложения, 8:1 (2017), 3–46
2015
3.
С. Д. Мешвелиани, “Программирование основ вычислительной алгебры на языке с зависимыми типами”, Программные системы: теория и приложения, 6:4 (2015), 313–340