"Записки научных семинаров ПОМИ"

Том 378, стр. 133-170

С.-Петербургское отделение Математического института им. В. А. Стеклова РАН, Фонтанка 27, 191023 Санкт-Петербург, Россия

alch@pdmi.ras.ru

Аннотация: Предлагается модель представления алгебраических многообразий, основывающаяся на системах представителей точек её неприводимых компонент. Описываются детерминированные алгоритмы полиномиальной сложности для обоснования этой модели в нулевой характеристике. Основной результат здесь -- конструкция пересечения алгебраических многообразий. Как следствие мы получаем эффективные алгоритмы для построения гладкого покрытия и гладкой стратификации алгебраического многообразия, введённых автором ранее. Библ. -- 16 назв.
Ключевые слова: алгебраические многообразия, эффективные алгоритмы, гладкая стратификация, индексы пересечения [algebraic varieties, efficient algorithms, smooth stratification, intersection numbers]