- すべて
- 画像・動画
自動更新
並べ替え:新着順
メニューを開く
#GröbnerBasis 26 グレブナー基底大好きbotさんによるまとめ 「ブッフベルガーアルゴリズムの証明」 togetter.com/li/896612 証明すべき点は2つ ①#正当性: 出力値が #グレブナー基底 である事 (帰納法を使う) ②#停止性: 無限ループせず有限回で終わる事 (ただし #計算量 は別問題)
並べ替え:新着順
#GröbnerBasis 26 グレブナー基底大好きbotさんによるまとめ 「ブッフベルガーアルゴリズムの証明」 togetter.com/li/896612 証明すべき点は2つ ①#正当性: 出力値が #グレブナー基底 である事 (帰納法を使う) ②#停止性: 無限ループせず有限回で終わる事 (ただし #計算量 は別問題)