А. Бешенов (АУ)

Полуалгебраические множества и цилиндрическое алгебраическое разбиение. Часть II

На прошлом семинаре мы вспомнили теорему Тарского--Зайденберга, а
также узнали в общих чертах, что изучает полуалгебраическая и
о-минимальная геометрия. Во второй части я определю цилиндрическое
алгебраическое разбиение, объясню алгоритм и его пользу для
человечества.