Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
次

検索結果:

書誌情報	ファイル
Interesting Variants of the Josephus Problem : How high school students can discover theorems using computer algebra systems (Computer Algebra : Design of Algorithms, Implementations and Applications) MIYADERA, RYOHEI; MINEMATSU, DAISUKE; MATSUI, HIROSHI; YAMAUCHI, TOSHIYUKI; NAITO, MASAKAZU; TATSUMI, SOH; INOUE, TAKAFUMI (2009-06) 数理解析研究所講究録, 1652: 44-54
置換群の組合せ論的可移拡大からできるデザイン (Computer Algebra : Design of Algorithms, Implementations and Applications) 宮本, 泉 (2009-06) 数理解析研究所講究録, 1652: 155-161
xfyにおけるMathML編集機能の開発 (Computer Algebra : Design of Algorithms, Implementations and Applications) 甲斐, 博; 宮本, 敦史; 久米, 正起; 河田, 貴幸; 冨成, 泰介; 田村, 恭士; 野田, 松太郎 (2009-06) 数理解析研究所講究録, 1652: 196-202
パラメータを持つ有理関数のハイブリッド積分 (Computer Algebra : Design of Algorithms, Implementations and Applications) 中川, 菜菜美; 甲斐, 博; 野田, 松太郎 (2009-06) 数理解析研究所講究録, 1652: 203-210
グレブナーwalkアルゴリズムの実装と効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications) 野呂, 正行; 崎山, 裕尊 (2009-06) 数理解析研究所講究録, 1652: 19-25
係数ドメインを多項式環とする多項式環の簡約グレブナ基底について (Computer Algebra : Design of Algorithms, Implementations and Applications) 鍋島, 克輔 (2009-06) 数理解析研究所講究録, 1652: 1-10
係数の小さい$\mathbb{K}[x]$上格子基底 (Computer Algebra : Design of Algorithms, Implementations and Applications) 大倉, 安孝 (2009-06) 数理解析研究所講究録, 1652: 71-78
Comprehensive Grobner systemにおけるNabeshima algorithmの改良とその検証 (Computer Algebra : Design of Algorithms, Implementations and Applications) 篠原, 直行 (2009-06) 数理解析研究所講究録, 1652: 11-18
Ruppert行列による近似GCDの算出 (Computer Algebra : Design of Algorithms, Implementations and Applications) 長坂, 耕作 (2009-06) 数理解析研究所講究録, 1652: 63-70
安定化剰余列算法の改良 (Computer Algebra : Design of Algorithms, Implementations and Applications) 讃岐, 勝 (2009-06) 数理解析研究所講究録, 1652: 55-62