Записки научных семинаров ПОМИ
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

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


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


Complexity bound of absolute factoring of parametric polynomials
A. Ayad 		5–29
Некоторые свойства независимых относительно минимума семейств и групп перестановок
В. Баргачев 		30–41
Computing the dimension of a semi-algebraic set
S. Basu, R. Pollack, M.-F. Roy 		42–54
О вершинной связности отношения ассоциативной схемы
С. А. Евдокимов, И. Н. Пономаренко 		55–62
Towards Applying Computational Complexity to Foundations of Physics
V. Kreinovich, A. M. Finkelstein 		63–110
Автоматические доказательства верхних оценок на время работы алгоритмов расщепления
А. С. Куликов, С. С. Федин 		111–128
Intuitionistic frege systems are polynomially equivalent
G. Mints, A. A. Kojevnikov 		129–146
Новый разрешимый хорновский фрагмент исчисления предикатов
В. П. Оревков 		147–162
On theoretical and practical acceleration of randomized computation of the determinant of an integer matrix
V. Ya. Pan 		163–187
Circuit lower bounds and linear codes
R. Paturi, P. Pudlák 		188–204
On infinite real trace rational languages of maximum topological complexity
O. Finkel, J.-P. Ressayre, P. Simonnet 		205–223
Записки научных семинаров ПОМИ
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025