グレブナー基底
本はありません。