Displaying similar documents to “Решение систем полиномиальных неравенств над вещественно замкнутыми полями в субэкспоненциальное время”