- groebner_basis
- 3359
- 22
- 0
- 0
グレブナー基底大好きbot
@groebner_basis
【証明㉖】 以上で、「正当性」と「停止性」が証明できたので、「ブッフベルガーアルゴリズム」は、グレブナー基底を求めるアルゴリズムとして、正しいことが保証できたぶなっ! ちなみに、「停止性」と「現実的な時間(5億年後とかじゃなく)で止まること」は別問題なので注意ぶなよっ!
2015-11-06 23:26:07
グレブナー基底大好きbot
@groebner_basis
今日の参考文献も「グレブナ基底と代数多様体入門」togetter.com/li/877168ぶなよ!じ
2015-11-06 23:40:35