RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив

1988, том 174

| Общая информация | Содержание |


Теория сложности вычислений. 3


Решение систем полиномиальных неравенств над вещественно замкнутым полем в субэкспоненциальное время
Н. Н. Воробьев (мл.), Д. Ю. Григорьев
3
Параллельное вычисление арифметических выражений с одноместными функциями
А. А. Гаганов
37
Сложность разрешения теории первого порядка вещественно замкнутых полей
Д. Ю. Григорьев
53
Алгоритм линейной сложности для распознавания изоморфизма плоских изображений
А. Н. Григорьева
101
Диофантова сложность
Ю. В. Матиясевич
122
Схемы доказательств в аксиоматических теориях гильбертовского типа
В. П. Оревков
132
Проблема изоморфизма для классов графов, инвариантных относительно стягиваний
И. Н. Пономаренко
147


© МИАН, 2025