集合と関数にまつわる記号
第１章　幾何、代数、アルゴリズム（多項式とアフィン空間
アフィン多様体　ほか）
第２章　グレブナー基底（ｋ［ｘ１，…，ｘｎ］の単項式順序
ｋ［ｘ１，…，ｘｎ］の割り算アルゴリズム　ほか）
第３章　消去理論（消去および拡張定理
消去の幾何　ほか）
第４章　代数と幾何の対応（ヒルベルトの零点定理
根基イデアルとイデアル―多様体対応　ほか）
第５章　多様体上の多項式関数と有理関数（多項式写像
多項式環の商　ほか）