Mathematica ' CylindricalDecomposition реализует алгоритм, известный как цилиндрическая алгебраическая декомпозиция. В статье Wolfram MathWorld Cylindrical Algebraic Decomposition говорится, что этот алгоритм «становится вычислительно невыполнимым для сложных неравенств»
Можно ли сделать это утверждение более точным? В частности, как время и пространство соотносятся со степенью и количеством переменных многомерных многочленов? Зависит ли время и пространство от других параметров?