Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
次

検索結果:

書誌情報	ファイル
Risa / Asir の行列演算と改良について (数式処理 : その研究と目指すもの) 兵頭, 礼子; 近藤, 祐史; 村尾, 裕一; 齋藤, 友克 (2012-03) 数理解析研究所講究録, 1785: 162-166
数式処理システムを用いた組み合わせゲームの研究と教育への応用 (数式処理 : その研究と目指すもの) 宮寺, 良平 (2012-03) 数理解析研究所講究録, 1785: 45-50
線形文字列変換による対話型数式入力方式の効果 (数式処理 : その研究と目指すもの) 福井, 哲夫 (2012-03) 数理解析研究所講究録, 1785: 32-44
楕円曲線の計算にみる数論システムの進展状況 (数式処理 : その研究と目指すもの) 横山, 俊一 (2012-03) 数理解析研究所講究録, 1785: 57-66
パラメトリック多項式最適化問題専用Cylindrical Algebraic Decompositionと動的計画法への適用(数式処理 : その研究と目指すもの) 岩根, 秀直; 吉良, 知文; 穴井, 宏和 (2012-03) 数理解析研究所講究録, 1785: 73-87
部分直積群の正規化群計算の高速化について (数式処理 : その研究と目指すもの) 宮本, 泉 (2012-03) 数理解析研究所講究録, 1785: 67-72
グレブナー基底を使った数独の難易度判定と問題作成 (数式処理 : その研究と目指すもの) 井上, 秀太郎; 佐藤, 洋祐 (2012-03) 数理解析研究所講究録, 1785: 51-56
表紙・目次 (2012-03) 数理解析研究所講究録, 1785
パラメータ付き代数的局所コホモロジーの計算について : 半擬斉次孤立特異点の場合 (数式処理 : その研究と目指すもの) 鍋島, 克輔; 田島, 慎一 (2012-03) 数理解析研究所講究録, 1785: 111-122
拡張行列ホーナー法と行列スペクトル分解の並列算法 (数式処理 : その研究と目指すもの) 小原, 功任; 田島, 慎一 (2012-03) 数理解析研究所講究録, 1785: 123-130