Сильная версия основного разрешающего алгоритма для экзистенциональной теории первого порядка вещественно замкнутых полей

Пусть $U$ – вещественное алгебраическое многообразие в $n$-мерном аффинном пространстве, являющееся множеством нулей семейства многочленов степени меньше $d$. В случае, когда $U$ ограничено (это основной случай), описывается алгоритм полиномиальной сложности для построения подмножества точек $U$ с полиномиальным от $d^n$ числом элементов, которое для всякого $s$ имеет непустое пересечение с каждым циклом с коэффициентам из поля из ${\mathbb Z}/2{\mathbb Z}$ размерности $s$ замыкания множества гладких точек размерности $s$ многообразия $U$. Библ. – 16 назв.