generated at
グレブナー基底
Gröbner basis
Bruno Buchberger広中平祐が独立に発見

応用例
連立代数方程式の解法