書誌情報 | ファイル |
表紙・目次 (2014-12) 数理解析研究所講究録, 1927
| |
包括的グレブナ基底系を利用した限量子消去 (数式処理研究の新たな発展) 深作, 亮也 (2014-12) 数理解析研究所講究録, 1927: 1-9
| |
機械学習の数式処理への応用について (数式処理研究の新たな発展) 小林, 宗広 (2014-12) 数理解析研究所講究録, 1927: 10-16
| |
平方根の任意多倍長計算法の例 (数式処理研究の新たな発展) 堀田, 涼; 田中, 輝雄; 牧野, 潔夫 (2014-12) 数理解析研究所講究録, 1927: 17-29
| |
工学設計における計算機代数の応用 (数式処理研究の新たな発展) 澤田, 浩之 (2014-12) 数理解析研究所講究録, 1927: 30-40
| |
The Grobner bases for Defining Equations of Simple $K3$ singularities with Indeterminate Exponents (Developments in Computer Algebra Research) 岩間, 詞也; 高橋, 正 (2014-12) 数理解析研究所講究録, 1927: 41-43
| |
ある反復関数系における塵集合アトラクタ領域について (数式処理研究の新たな発展) 藤村, 雅代 (2014-12) 数理解析研究所講究録, 1927: 44-54
| |
パラメータ付き対数的ベクトル場と局所コホモロジーについて (数式処理研究の新たな発展) 鍋島, 克輔; 田島, 慎一 (2014-12) 数理解析研究所講究録, 1927: 55-65
| |
ニュートン非退化孤立特異点と局所コホモロジー類 (数式処理研究の新たな発展) 田島, 慎一; 梅田, 陽子 (2014-12) 数理解析研究所講究録, 1927: 66-76
| |
Formula Simplification for Real Quantifier Elimination (Developments in Computer Algebra Research) 岩根, 秀直 (2014-12) 数理解析研究所講究録, 1927: 77-88
| |
タブレット端末への数式処理システムの実装手法 (数式処理研究の新たな発展) 藤本, 光史 (2014-12) 数理解析研究所講究録, 1927: 89-102
| |
国際研究集会の仕組みとその運営 : ISSAC 2014 (数式処理研究の新たな発展) 長坂, 耕作 (2014-12) 数理解析研究所講究録, 1927: 103-105
| |
複数個の1変数多項式に対する部分終結式行列の構成に向けて (数式処理研究の新たな発展) 照井, 章 (2014-12) 数理解析研究所講究録, 1927: 106-114
| |
Barnettの定理に基づく多変数近似GCD計算の改良 : モニックでない場合 (数式処理研究の新たな発展) 讃岐, 勝 (2014-12) 数理解析研究所講究録, 1927: 115-121
| |
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
| |