コレクションホームページ
1395 Computer Algebra : Design of Algorithms, Implementations and Applications
42
1395 Computer Algebra : Design of Algorithms, Implementations and Applications
42
(http://hdl.handle.net/2433/25020)
ブラウズ
文献一覧（目次の昇順ソート）: 41 - 42 / 42
| 書誌情報 | ファイル |
|---|---|
| 自動証明を効果的に行うための手法 大嶋, 真治; 村尾, 裕一 (2004-10) 数理解析研究所講究録, 1395: 259-266 |  |
| Risa/Asirの新グレブナー基底計算パッケージについて 野呂, 正行 (2004-10) 数理解析研究所講究録, 1395: 267-272 | |
文献一覧（目次の昇順ソート）: 41 - 42 / 42
最新登録資料
