Распознавание совместности системы полиномиальных от экспоненты неравенств в субэкспоненциальное время Н.Н. мл. Воробьев — 1989 Zapiski naucnych seminarov Leningradskogo
Решение систем полиномиальных неравенств над вещественно замкнутыми полями в субэкспоненциальное время Н.Н. (мл.) Воробьев; Д.Ю. Григорьев — 1988 Zapiski naucnych seminarov Leningradskogo