-
太郎「15^20は何桁なんだろうlogを使えばできるかな?」花子「15^20=3325256730079650878..
18851pv 18 3 users 23 -
グレブナー基底で嘘を見抜く
17739pv 134 28 users 14 -
群、環、体って何?
12222pv 38
-
グレブナー基底を使うと「複雑な分母を有理化」できる!
11105pv 34 2 users -
ディクソンの補題
9554pv 41 2 users -
グレブナー基底と自動証明
9198pv 101 3 users -
割り算アルゴリズム
8525pv 34 -
ブッフベルガーアルゴリズム
8118pv 33 -
グレブナー基底大好きbot が関西すうがく徒のつどいで講演した回
6519pv 4 -
グレブナー基底の応用
6008pv 34 -
グレブナー基底の定義
5960pv 76 -
Proof Summit 2012
5596pv 15 2 users -
先頭項LT
5564pv 33 -
ゼロから学ぶグレブナー基底(入門編)
5510pv 18 -
単項式順序の例
5349pv 31 -
S多項式って?
5342pv 29 -
グレブナー基底のちゃんとした定義
4871pv 38 1 user -
グレブナー基底と計算量
4592pv 55 -
グレブナー基底の判定法
4444pv 31 -
Haskellで計算機代数勉強会
4353pv 10 1 user -
単項式順序の定義
4315pv 28 -
参考文献
3542pv 19 -
ブッフベルガーアルゴリズムの証明
3363pv 24 -
記号の説明
3318pv 35 1 user