Распознавание совместности системы полиномиальных от экспоненты неравенств в субэкспоненциальное время

Пусть у многочленов $P_1,\dots,P_k\in\mathbb{Z}[U,X_1,\dots,X_n]$, $h\in\mathbb{Z}[X_1,\dots,X_n]$ степени $\mathrm{deg}_{U,X_1,\dots,X_n}(P_i)$, $\mathrm{deg}_{X_1,\dots,X_n}(h)<d$ и абсолютные величины коэффициентов не превосходят $2^M$ для всех $1\leqslant i\leqslant k$. Описан алгоритм, распознающий совместность в $\mathbb{R}^n$ системы неравенств $P_1(e^{h(X_1,\dots,X_n)},X_1,\dots,X_n)\geqslant0,\dots,P_k(e^{h(X_1,\dots,X_n)},X_1,\dots,X_n)\geqslant0$ за время, полиномиальное от $M$, $(nkd)^{n^4}$. Библ. – 27 назв.