Одним из основных инструментов, открывших путь к созданию алгоритмических методов исследования и решения систем алгебраических уравнений, явилось понятие базиса Гребнера идеала кольца многочленов, занимающее одно из центральных мест в современной компьютерной алгебре (см., например, [1]). Одно из дальнейших развитий понятия базиса Гребнера приведено в [2]. Классические схемы исключения неизвестных из систем алгебраических уравнений, основанные на методе базисов Гребнера, реализованы во многих существующих системах компьютерной алгебры. Однако, такие методы неприменимы для исследования систем существенно неалгебраических уравнений (т.е. уравнений, не сводящихся к алгебраическим заменам переменных).
Вместе с тем, неалгебраические системы уравнений возникают в различных областях знания. В частности, в процессах, описываемых системами дифференциальных уравнений с правыми частями, разложимыми в ряд Тейлора, актуален вопрос об определении числа стационарных состояний в множествах определенного вида (и их локализации). Эта проблема приводит к задачам построения алгоритмов для определения числа корней заданной системы уравнений в различных множествах, определения самих корней, исключения части неизвестных из системы.