ブッフベルガーアルゴリズムの証明

ブッフベルガーアルゴリズムの証明をしたぶなよっ！
0
前へ 1 2
グレブナー基底大好きbot @groebner_basis

【証明㉖】 以上で、「正当性」と「停止性」が証明できたので、「ブッフベルガーアルゴリズム」は、グレブナー基底を求めるアルゴリズムとして、正しいことが保証できたぶなっ！ ちなみに、「停止性」と「現実的な時間（５億年後とかじゃなく）で止まること」は別問題なので注意ぶなよっ！

2015-11-06 23:26:07
グレブナー基底大好きbot @groebner_basis

【今日のまとめ】 「ブッフベルガーアルゴリズムを、数学的に証明することができた」 ぶなっ！

2015-11-06 23:27:03
グレブナー基底大好きbot @groebner_basis

今日の参考文献も「グレブナ基底と代数多様体入門」togetter.com/li/877168ぶなよ！じ

2015-11-06 23:40:35
前へ 1 2

いま話題のタグ

コミュニティノート118 仮面アメリカ8 あすけん8 声優4008 ポケモン1922 名探偵コナン496 初見感想からしか取れない栄養素がある25 子供1595 遭難82 逆カルチャーショック1 小岩井ことり16 平安時代180 ゴジラ483 鈴木亮平42 お金674