書誌情報	ファイル
表紙・目次    (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