Вычисления с параметрами: теоретическое обоснование

Рассмотрим вычислительную алгебраическую задачу со входом, зависящим от параметров. Цель вычисления стратифицировать многообразие параметров так, что для каждого страта $\mathcal W_\alpha$ для произвольных значений параметров из $\mathcal W_\alpha$ решение задачи как функция от параметров вычисляется при помощи одних и тех же формул, зависящих только от страта $\mathcal W_\alpha$.
Мы предлагаем модель вычислений с параметрами удобную для практических целей и доказываем для неё фундаментальный результат. Библ. – 2 назв.