グレブナー基底とその応用

グレブナー基底は、多項式環とそのイデアルについて具体的な計算が可能な手続を用意する強力な手段である。本書では、ブッフベルガーの判定法、消去イデアルへの応用、シュライヤーの定理を取り上げて解説する。