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