Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
表紙・目次 (2006-09) 数理解析研究所講究録, 1514
$GF(3^m)$におけるTate Pairing の計算および実装について (Computer Algebra : Design of Algorithms, Implementations and Applications) 岩見, 真希; 久保寺, 範和; 側高, 幸治; 岡本, 栄司 (2006-09) 数理解析研究所講究録, 1514: 39-45
多変数多項式に対する新しい因数分解法 (Computer Algebra : Design of Algorithms, Implementations and Applications) 佐々木, 建昭; 稲葉, 大樹 (2006-09) 数理解析研究所講究録, 1514: 22-28
GAP の関数 Normalizer の改良 (Computer Algebra : Design of Algorithms, Implementations and Applications) 宮本, 泉 (2006-09) 数理解析研究所講究録, 1514: 33-38
Symbolic-Numeric Optimization for Estimation of Parameters in a Biological Kinetic Model(Computer Algebra : Design of Algorithms, Implementations and Applications) ORII, SHIGEO; HORIMOTO, KATSUHISA; ANAI, HIROKAZU (2006-09) 数理解析研究所講究録, 1514: 66-73
数式処理(システム)におけるマルチスレッド化の試み (Computer Algebra : Design of Algorithms, Implementations and Applications) 村尾, 裕一; 兵頭, 礼子; 齋藤, 友克 (2006-09) 数理解析研究所講究録, 1514: 211-217
Risa / Asir における新しい形式の数式の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications) 野呂, 正行; 高山, 信毅 (2006-09) 数理解析研究所講究録, 1514: 229-235
数式埋め込みコンテンツと標準化 : 現状理解と標準化プロセスについて (Computer Algebra : Design of Algorithms, Implementations and Applications) 長坂, 耕作 (2006-09) 数理解析研究所講究録, 1514: 223-228
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: 204-210