グレブナー基底大好きbot @groebner_basis
コンピュータを使った数学を研究している研究者。趣味で小説も書いてました。代表作「妹がグレブナー基底に興味を持ち始めたのだが。」bit.ly/2ZbpP7W /Web作家経歴:peep公式作家、CHAT NOVEL公式作家/受賞歴:カクヨムWeb小説短編賞受賞(漫画化)
-
グレブナー基底と自動証明
9133pv 97 3 users -
グレブナー基底大好きbot が関西すうがく徒のつどいで講演した回
6503pv 4
-
グレブナー基底で嘘を見抜く
17507pv 133 28 users 14 -
ブッフベルガーアルゴリズムの証明
3335pv 24 -
S多項式で遊ぼう
2554pv 26 -
ブッフベルガーアルゴリズム
8060pv 33 -
グレブナー基底の判定法
4390pv 29 -
打ち消し合いとS多項式
2232pv 29 -
参考文献
3503pv 19 -
S多項式って?
5297pv 28 -
グレブナー基底の存在性
1929pv 23 -
ディクソンの補題
9401pv 40 2 users -
グレブナー基底は、基底なのか?
2186pv 23 -
ぶな大後期中間テスト
2029pv 27 -
新サービス「グレブナ計算始めました」
2286pv 22 -
グレブナー基底の同値な定義
2474pv 28 -
グレブナー基底のちゃんとした定義
4801pv 36 1 user -
割り算アルゴリズム
8426pv 33 -
先頭項LT
5437pv 31 -
単項式順序の例
5287pv 27 -
単項式順序の定義
4280pv 28 -
群、環、体って何?
12160pv 36 -
グレブナー基底と計算量
4499pv 53 -
グレブナー基底の応用
5967pv 33