С. Д. Мешвелиани, “Построение доказательных программ арифметики натуральных чисел в двоичном представлении”, Программные системы: теория и приложения, 9:4 (2018), 509–560
С. Д. Мешвелиани, “Программирование вычислительной алгебры на основе конструктивной математики. Области с разложением на простые множители”, Программные системы: теория и приложения, 8:1 (2017), 3–46
А. А. Владимиров, “О мажорантах собственных значений задач Штурма–Лиувилля с потенциалами из шаров весовых пространств”, Матем. сб., 208:9 (2017), 42–55 ; A. A. Vladimirov, “Majorants for eigenvalues of Sturm-Liouville problems with potentials lying in balls of weighted spaces”, Sb. Math., 208:9 (2017), 1298–1311
С. Д. Мешвелиани, “Программирование основ вычислительной алгебры на языке с зависимыми типами”, Программные системы: теория и приложения, 6:4 (2015), 313–340
С. Д. Мешвелиани, “O зависимых типах и интуиционизме в программировании математики”, Программные системы: теория и приложения, 5:3 (2014), 27–50
А. А. Владимиров, И. А. Шейпак, “О задаче Неймана для уравнения Штурма–Лиувилля с самоподобным весом канторовского типа”, Функц. анализ и его прил., 47:4 (2013), 18–29 ; A. A. Vladimirov, I. A. Sheipak, “On the Neumann Problem for the Sturm–Liouville Equation with Cantor-Type Self-Similar Weight”, Funct. Anal. Appl., 47:4 (2013), 261–270
И. Д. Заславский, “Расширенная нечеткая конструктивная логика”, Исследования по конструктивной математике и математической логике. XII, Посвящается памяти Николая Александровича ШАНИНА, Зап. научн. сем. ПОМИ, 407, ПОМИ, СПб., 2012, 35–76 ; I. D. Zaslavsky, “Extended fuzzy constructive logic”, J. Math. Sci. (N. Y.), 199:1 (2014), 16–35
И. Д. Заславский, “Нечеткая конструктивная логика”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 130–152 ; I. D. Zaslavsky, “Fuzzy constructive logic”, J. Math. Sci. (N. Y.), 158:5 (2009), 677–688
М. К. Керимов, “Памяти Николая Макаровича Нагорного (1928–2007)”, Ж. вычисл. матем. и матем. физ., 48:6 (2008), 1140–1144 ; M. K. Kerimov, “In memory of Nikolai Makarovich Nagornyi (1928–2007)”, Comput. Math. Math. Phys., 48:6 (2008), 1076–1080
“Андрей Андреевич Марков (к столетию со дня рождения)”, Дискрет. матем., 16:1 (2004), 3–8 ; “Andrei Andreevich Markov (on the centenary of his birth)”, Discrete Math. Appl., 14:1 (2004), 1–6