Зап. научн. сем. ЛОМИ, 1989, том 176

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

1989, том 176

Содержание

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

	Распознавание совместности системы полиномиальных от экспоненты неравенств в субэкспоненциальное время Н. Н. Воробьев (мл.)		3
	Сложность элиминации кванторов в теории обыкновенных дифференциально замкнутых полей Д. Ю. Григорьев		53
	Сложность факторизации и вычисления НОД линейных обыкновенных дифференциальных операторов Д. Ю. Григорьев		68
	Факторизация разрешимого многочлена над конечным полем и обобщенная гипотеза Римана С. А. Евдокимов		104
	Замечание об усилении гипотезы Г. Крайзеля В. П. Оревков		118
	Алгоритмы полиномиальной сложности для вычислительных задач теории алгебраических кривых А. Л. Чистов		127