Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 21-30 / 37.

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
拡張 Hensel 構成と多変数代数関数の特異性 (Computer Algebra : Design of Algorithms, Implementations and Applications) 佐々木, 建昭; 稲葉, 大樹; 片町, 健太郎 (2006-09) 数理解析研究所講究録, 1514: 1-7
多変数近似GCD 用算法の性能比較 (Computer Algebra : Design of Algorithms, Implementations and Applications) 讃岐, 勝 (2006-09) 数理解析研究所講究録, 1514: 101-107
Solving and visualizing parametric quantified constraints in control system design(Computer Algebra : Design of Algorithms, Implementations and Applications) 兵頭, 礼子; Hong, Myunghoon; 屋並, 仁史; 穴井, 宏和; Ratschan, Stefan; 原, 辰次 (2006-09) 数理解析研究所講究録, 1514: 74-80
円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications) 山本, 航; 宮本, 健司; 関川, 浩; 白柳, 潔 (2006-09) 数理解析研究所講究録, 1514: 164-170
Taylor級数の逆関数計算の高速化とその応用 (Computer Algebra : Design of Algorithms, Implementations and Applications) 舘野, 裕文; 平山, 弘 (2006-09) 数理解析研究所講究録, 1514: 183-189
剰余体$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
オイラーの定数の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
割り算アルゴリズムとBuchberger アルゴリズムのためのインタラクティブユーザインターフェース作成について (Computer Algebra : Design of Algorithms, Implementations and Applications) 中山, 洋将 (2006-09) 数理解析研究所講究録, 1514: 138-140