Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1138 数式処理における理論と応用の研究 = Theory and Application in Computer Algebra
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 22.
前
1
2
3
次
検索結果:
書誌情報
ファイル
Some applications of computer algebra to vector bundles on projective spaces (Theory and Application in Computer Algebra)
Ancona, Vincenzo (2000-04)
数理解析研究所講究録, 1138: 116-126
OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)
奥谷, 行央; 小原, 功任; 高山, 信毅; 田村, 恭士; 野呂, 正行; 前川, 将秀 (2000-04)
数理解析研究所講究録, 1138: 189-200
Grobner basisによる分割表の数え上げ (数式処理における理論と応用の研究)
中川, 重和 (2000-04)
数理解析研究所講究録, 1138: 172-179
グレブナ基底 : 理論,計算の効率化,応用 (数式処理における理論と応用の研究)
野呂, 正行 (2000-04)
数理解析研究所講究録, 1138: 127-171
戦術に忠実な並列Buchberger算法 (数式処理における理論と応用の研究)
鈴木, 正幸 (2000-04)
数理解析研究所講究録, 1138: 180-188
等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
元吉, 文男; 秋葉, 澄孝; 佐藤, 泰介 (2000-04)
数理解析研究所講究録, 1138: 220-225
数式処理システムの数学教育への活用とミドルレギュレータの開発 (数式処理における理論と応用の研究)
出口, 博章; 高橋, 正 (2000-04)
数理解析研究所講究録, 1138: 201-210
The arbitrary precision calculation of logarithms with continued fraction expansions (Theory and Application in Computer Algebra)
Makino, Isao; Aoyama, Takeshi (2000-04)
数理解析研究所講究録, 1138: 240-246
有理演算による実対称行列の三重対角化 (数式処理における理論と応用の研究)
関川, 浩 (2000-04)
数理解析研究所講究録, 1138: 226-233
分割統治法による多倍長演算の高速化 (数式処理における理論と応用の研究)
平山, 弘 (2000-04)
数理解析研究所講究録, 1138: 247-255
絞り込み
著者
2
佐々木, 建昭
2
野呂, 正行
2
高山, 信毅
1
Ancona, Vincenzo
1
Aoyama, Takeshi
1
Makino, Isao
1
Noda, Matu-Tarow
1
Sakai, Manabu
1
Suenaga, Katsuyuki
1
Yadohisa, Hiroshi
.
次 >
発行日
22
2000
分類
22
410