書誌情報	ファイル
包括的ブーリアングレブナ基底の構成について (Computer Algebra : Design of Algorithms, Implementations and Applications)   井上, 秀太郎; 佐藤, 洋祐 (2006-09)   数理解析研究所講究録, 1514: 125-131
グレブナー基底を用いた包括グレブナー基底計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)   鈴木, 晃 (2006-09)   数理解析研究所講究録, 1514: 132-137
割り算アルゴリズムとBuchberger アルゴリズムのためのインタラクティブユーザインターフェース作成について (Computer Algebra : Design of Algorithms, Implementations and Applications)   中山, 洋将 (2006-09)   数理解析研究所講究録, 1514: 138-140
孤立特異点に付随する代数的局所コホモロジーとヤコビイデアルに対するグレブナー基底の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)   阿部, 隆行; 田島, 慎一 (2006-09)   数理解析研究所講究録, 1514: 141-147
Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)   KOBAYASHI, HIDETSUNE; SUZUKI, HIDEO (2006-09)   数理解析研究所講究録, 1514: 148-154
Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications)   MORITSUGU, SHUICHI (2006-09)   数理解析研究所講究録, 1514: 155-159
ユーザ定義述語を含む系の限量子消去法 (Computer Algebra : Design of Algorithms, Implementations and Applications)   元吉, 文男; 秋葉, 澄孝 (2006-09)   数理解析研究所講究録, 1514: 160-163
円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)   山本, 航; 宮本, 健司; 関川, 浩; 白柳, 潔 (2006-09)   数理解析研究所講究録, 1514: 164-170
剰余体$K[x]/〈f〉$における逆冪計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)   田島, 慎一 (2006-09)   数理解析研究所講究録, 1514: 171-175
多項式行列の行列式の補間による計算(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)   木村, 欣司 (2006-09)   数理解析研究所講究録, 1514: 176-182
Taylor級数の逆関数計算の高速化とその応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)   舘野, 裕文; 平山, 弘 (2006-09)   数理解析研究所講究録, 1514: 183-189
オイラーの定数の2重積分表示について (Computer Algebra : Design of Algorithms, Implementations and Applications)   西沢, 清子; 宮崎, 里美 (2006-09)   数理解析研究所講究録, 1514: 190-196
リーマンゼータ函数の冪級数展開について (Computer Algebra : Design of Algorithms, Implementations and Applications)   村上, 弘 (2006-09)   数理解析研究所講究録, 1514: 197-203
精度保証付き制御系解析・設計 (Computer Algebra : Design of Algorithms, Implementations and Applications)   管野, 政明 (2006-09)   数理解析研究所講究録, 1514: 204-210
数式処理(システム)におけるマルチスレッド化の試み (Computer Algebra : Design of Algorithms, Implementations and Applications)   村尾, 裕一; 兵頭, 礼子; 齋藤, 友克 (2006-09)   数理解析研究所講究録, 1514: 211-217
AsirPadの関数グラフ描画機能について (Computer Algebra : Design of Algorithms, Implementations and Applications)   藤本, 光史 (2006-09)   数理解析研究所講究録, 1514: 218-222
数式埋め込みコンテンツと標準化 : 現状理解と標準化プロセスについて (Computer Algebra : Design of Algorithms, Implementations and Applications)   長坂, 耕作 (2006-09)   数理解析研究所講究録, 1514: 223-228
Risa / Asir における新しい形式の数式の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)   野呂, 正行; 高山, 信毅 (2006-09)   数理解析研究所講究録, 1514: 229-235