"Записки научных семинаров ПОМИ"
Том 436, стр. 219-239
Вычисления с параметрами: теоретическое обоснование
А. Л. Чистов
С.-Петербургское отделение
Математического
института им. В. А. Стеклова РАН,
наб. р. Фонтанки, д. 27, 191023
С.-Петербург, Россия
alch@pdmi.ras.ru
- Аннотация:
Рассмотрим вычислительную алгебраическую задачу со входом, зависящим от
параметров. Цель вычисления -- стратифицировать многообразие параметров так,
что для каждого страта ${\mathcal W}_\alpha$
для произвольных значений параметров из ${\mathcal W}_\alpha$
решение задачи как функция от параметров вычисляется при помощи одних и тех
же формул, зависящих только от страта ${\mathcal W}_\alpha$.
Мы предлагаем модель вычислений с параметрами, удобную для практических целей,
и доказываем для нее фундаментальный результат.
Библ. -- 2 назв.
- Ключевые слова:
вычисления с параметрами, стратификации, деревья вычислений, леса вычислений
[computations with parameters, stratifications,
computation trees, computation forests]
Полный текст(.pdf)