Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1652 Computer Algebra : Design of Algorithms, Implementations and Applications
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 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
絞り込み
著者
3
甲斐, 博
2
井上, 秀太郎
2
佐々木, 建昭
2
北本, 卓也
2
山口, 哲
2
桐生, 裕介
2
野田, 松太郎
1
INOUE, TAKAFUMI
1
MATSUI, HIROSHI
1
MINEMATSU, DAISUKE
.
次 >
分類
28
410
資料種別
27
Departmental Bulletin Paper
1
Others