-
グレブナー基底で嘘を見抜く
17664pv 133 28 users 14 -
ブッフベルガーアルゴリズムの証明
3361pv 24 -
ブッフベルガーアルゴリズム
8113pv 33
-
S多項式で遊ぼう
2593pv 27 -
グレブナー基底の判定法
4438pv 31 -
打ち消し合いとS多項式
2280pv 30 -
S多項式って?
5340pv 29 -
グレブナー基底の存在性
1966pv 28 -
ディクソンの補題
9517pv 41 2 users -
グレブナー基底は、基底なのか?
2208pv 27 -
新サービス「グレブナ計算始めました」
2326pv 28 -
ぶな大後期中間テスト
2062pv 28 -
グレブナー基底の同値な定義
2528pv 30 -
グレブナー基底のちゃんとした定義
4863pv 38 1 user -
割り算アルゴリズム
8511pv 34 -
先頭項LT
5552pv 33 -
単項式順序の例
5344pv 31 -
単項式順序の定義
4313pv 28 -
群、環、体って何?
12218pv 38 -
グレブナー基底と計算量
4591pv 55 -
グレブナー基底の応用
6001pv 34 -
グレブナー基底と自動証明
9195pv 101 3 users -
参考文献
3531pv 19 -
グレブナー基底の定義
5957pv 76 -
記号の説明
3318pv 35 1 user