グレブナー基底
Gröbner basis
Bruno Buchberger
と
広中平祐
が独立に発見
応用例
連立代数方程式の解法
https://www.slideshare.net/ryotamima/1-205912685
https://www.slideshare.net/konn/grbner
https://ja.wikipedia.org/wiki/グレブナー基底
https://zenn.dev/lotz/articles/b744d2716e7e43
haskell,
数独ソルバ