Базисы Грёбнера и системы алгебраических уравнений

Аннотация

Читатель знакомится с важным понятием современной алгебры базисом Грёбнера идеала в кольце многочленов от многих переменных и приложениями этого понятия к решению систем нелинейных алгебраических уравнений, в частности, с эффективным алгоритмом, позволяющим для произвольной системы выяснить конечно или бесконечно число ее решений. В обоснованиях полученных результатов ключевую роль играет теорема Гильберта о нулях.