Алгоритмы полиномиальной сложности для новой модели представления алгебраических многообразий (в нулевой характеристике)

Предлагается модель представления алгебраических многообразий, основанная на системах представителей точек её неприводимых компонент. Описываются детерминированные алгоритмы полиномиальной сложности для обоснования этой модели в нулевой характеристике. Основной результат здесь – конструкция пересечения алгебраических многообразий. Как следствие мы получаем эффективные алгоритмы для построения гладкого покрытия и гладкой стратификации алгебраического многообразия, введённых автором ранее. Библ. – 16 назв.