#GröbnerBasis 26

グレブナー基底大好きbotさんによるまとめ
「ブッフベルガーアルゴリズムの証明」
https://togetter.com/li/896612

証明すべき点は2つ

①#正当性:
出力値が #グレブナー基底 である事
(帰納法を使う)

②#停止性:
無限ループせず有限回で終わる事
(ただし #計算量 は別問題)