検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 工学設計における計算機代数の応用 (数式処理研究の新たな発展) 澤田, 浩之 (2014-12) 数理解析研究所講究録, 1927: 30-40 |  |
| Formula Simplification for Real Quantifier Elimination (Developments in Computer Algebra Research) 岩根, 秀直 (2014-12) 数理解析研究所講究録, 1927: 77-88 | |
| 表紙・目次 (2014-12) 数理解析研究所講究録, 1927 | |
| The Grobner bases for Defining Equations of Simple $K3$ singularities with Indeterminate Exponents (Developments in Computer Algebra Research) 岩間, 詞也; 高橋, 正 (2014-12) 数理解析研究所講究録, 1927: 41-43 | |
| Risa/Asirでの行列演算高速化の試み (数式処理研究の新たな発展) 兵頭, 礼子; 北村, 竜之介; 近藤, 祐史; 村尾, 裕一; 齋藤, 友克 (2014-12) 数理解析研究所講究録, 1927: 122-127 | |
| Towards Type System by Computer Algebra Systems in Programming Language : Extended Abstract (Developments in Computer Algebra Research) 宮下, 尚; 山口, 哲; 岩ヶ谷, 崇; 易, 軍 (2014-12) 数理解析研究所講究録, 1927: 128-130 | |
絞り込み
分類
- 16 410
資料種別