Мешвелиани Сергей Давидович

Публикации в базе данных Math-Net.Ru

1. Построение доказательных программ арифметики натуральных чисел в двоичном представлении
   
   Программные системы: теория и приложения, 9:4 (2018),  509–560
2. Программирование вычислительной алгебры на основе конструктивной математики. Области с разложением на простые множители
   
   Программные системы: теория и приложения, 8:1 (2017),  3–46
3. Программирование основ вычислительной алгебры на языке с зависимыми типами
   
   Программные системы: теория и приложения, 6:4 (2015),  313–340
4. O зависимых типах и интуиционизме в программировании математики
   
   Программные системы: теория и приложения, 5:3 (2014),  27–50
5. Оценка сложности способа ЛЛЛ–Григорьева факторизации в $GF(q)[x,y]$
   
   Фундамент. и прикл. матем., 8:1 (2002),  129–139