-
グレブナー基底の応用
6001pv 34 -
グレブナー基底と自動証明
9196pv 101 3 users -
参考文献
3532pv 19
-
グレブナー基底の定義
5958pv 76 -
記号の説明
3318pv 35 1 user -
Haskellで計算機代数勉強会
4350pv 10 1 user -
Proof Summit 2012
5587pv 15 2 users