| Аннотація |
Монография известных американских математиков посвящена изложению результатов бурно развивающейся области, связанной с алгоритмами, превращающими базисные понятия коммутативной алгебры и алгебраической геометрии из абстрактно-теоретических в конкретновычислимые. Обсуждение алгоритмов основывается на обобщении алгоритма деления для полиномов от одной переменной, найденном лишь в шестидесятых годах. Эти алгоритмы в соединении с мощью быстрых компьютеров привели к некоторым интересным приложениям - например, в роботике и в доказательстве геометрических теорем.
Для математиков-теоретиков, специалистов по компьютерной технике и инженеров, а также для студентов соответствующих специальностей.
Оглавление
Предисловие к русскому изданию ... 5
Предисловиек первому изданию ... 6
Предисловие ко второмуизданию ... 9
1 Геометрия, алгебра и алгоритмы ...11
§ 1. Полиномы и аффинное пространство ... 11
§ 2. Аффинные многообразия ... 17
§ 3. Параметризации аффинных многообразий ... 28
§ 4. Идеалы ...45
§5 |