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