Кокс Д., Литтл Дж., ОШи Д. (2000) Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры.