Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: Ключевые слова: алгоритмические проблемы,
генерическая сложность,
сложность вычислений
Коды УДК: 510.52, 510.53 Коды MSC: 03D1568Q1568Q17
Основные темы научной работы:
Алгоритмические проблемы в алгебре, математической логике и теории чисел. Вычислительная сложность. Генерическая сложность.
Основные публикации:
А. Н. Рыбалов, “О генерической амплификации рекурсивно перечислимых множеств”, Алгебра и логика, 57:4 (2018), 448–455; A. N. Rybalov, “Generic amplification of recursively enumerable sets”, Algebra and Logic, 57:4 (2018), 289–294
А. Н. Рыбалов, “Генерическая теорема Гёделя о неполноте”, Алгебра и логика, 56:3 (2017), 348–353; A. N. Rybalov, “Generic Gödel's incompleteness theorem”, Algebra and Logic, 56:3 (2017), 232–235
А. Н. Рыбалов, “Об одном генерическом отношении рекурсивно перечислимых множеств”, Алгебра и логика, 55:5 (2016), 587–596; A. N. Rybalov, “A generic relation on recursively enumerable sets”, Algebra and Logic, 55:5 (2016), 387–393
Rybalov A., “Generic complexity of the Diophantine problem”, Groups Complexity Cryptology, 5:1 (2013) , 25–30 pp.
A. Rybalov, “Generic Complexity of Presburger Arithmetic”, Theory of Computing Systems, 46:1 (2010), 2-8
A. Rybalov, A. Myasnikov, “Generic complexity of undecidable problems”, Journal of Symbolic Logic, 73:2 (2008), 656-673
A. Rybalov, “On the strongly generic undecidability of the Halting Problem”, Theoretical Computer Science, 377 (2007), 268-270
A. Rybalov, “On the P–NP problem over real matrix rings”, Theoretical Computer Science, 314:1-2 (2004), 281–285