Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 18.

前
1
2
次

検索結果:

書誌情報	ファイル
過酷事故に陥った航空機の制御を目指して : 多変数べき級数根の利用 (数式処理 : その研究と目指すもの) 佐々木, 建昭; 稲葉, 大樹 (2013-07) 数理解析研究所講究録, 1843: 8-21
対話型数式ユーザインタフェースMathTOUCHにおける数式表記表現の代数的ルールによる正準化の方法 (数式処理 : その研究と目指すもの) 福井, 哲夫 (2013-07) 数理解析研究所講究録, 1843: 119-130
近似特異系の特異化 : 摂動で乱れた系の矯正 (数式処理 : その研究と目指すもの) 佐々木, 建昭 (2013-07) 数理解析研究所講究録, 1843: 80-93
近似共通因子を持つ多項式の規格化 (数式処理 : その研究と目指すもの) 讃岐, 勝 (2013-07) 数理解析研究所講究録, 1843: 94-100
数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの) 佐藤, 裕介; 井上, 秀太郎; 佐藤, 洋祐 (2013-07) 数理解析研究所講究録, 1843: 28-37
Asirでの3変数陰関数描画 (数式処理 : その研究と目指すもの) 近藤, 祐史; 兵頭, 礼子; 村尾, 裕一; 齋藤, 友克 (2013-07) 数理解析研究所講究録, 1843: 140-145
$mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの) 鍋島, 克輔; 田島, 慎一 (2013-07) 数理解析研究所講究録, 1843: 56-65
SNAP package and Improved QRGCD algorithm (Computer Algebra : The Algorithms, Implementations and the Next Generation) 増井, 貴明; 長坂, 耕作 (2013-07) 数理解析研究所講究録, 1843: 101-113
Geometric Properties of Plane Quartics (Computer Algebra : The Algorithms, Implementations and the Next Generation) Takahashi, Tadashi (2013-07) 数理解析研究所講究録, 1843: 163-165
Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの) 岩根, 秀直; 樋口, 博之; 穴井, 宏和 (2013-07) 数理解析研究所講究録, 1843: 66-79