Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1930 数式処理研究の新たな発展 = 1930 Developments in Computer Algebra Research
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 15.
前
1
2
次
検索結果:
書誌情報
ファイル
The Berlekamp Algorithm : サーベイと試み/Survey and Refinement (Developments in Computer Algebra Research)
長坂, 耕作 (2015-01)
数理解析研究所講究録, 1930: 15-25
行列Horner法の並列化の実装について (数式処理研究の新たな発展)
田島, 慎一; 小原, 功任; 照井, 章 (2015-01)
数理解析研究所講究録, 1930: 51-59
Sage Days in Japan 開催報告 (数式処理研究の新たな発展)
横山, 俊一; 沼田, 泰英 (2015-01)
数理解析研究所講究録, 1930: 73-79
The Pedagogical Implementation of GeoGebra as Technology Based Mathematics Learning (Developments in Computer Algebra Research)
MBAITIGA, Zacharie (2015-01)
数理解析研究所講究録, 1930: 88-92
近似GCD算法GPGCDの新たな実験結果について (数式処理研究の新たな発展)
照井, 章 (2015-01)
数理解析研究所講究録, 1930: 60-72
Towards Calculating Approximate GCD of Univariate Polynomials with Semidefinite Programming (Developments in Computer Algebra Research)
照井, 章 (2015-01)
数理解析研究所講究録, 1930: 39-50
数学ソフトウェア再考 (数式処理研究の新たな発展)
濱田, 龍義 (2015-01)
数理解析研究所講究録, 1930: 80-87
The explicit descriptions of the ramification loci for the problems of Goldberg (Developments in Computer Algebra Research)
藤村, 雅代 (2015-01)
数理解析研究所講究録, 1930: 1-14
The current state of computer algebra system on tablet devices (Developments in Computer Algebra Research)
藤本, 光史 (2015-01)
数理解析研究所講究録, 1930: 93-100
Grobner基底を用いた秘密分散法の検討 (数式処理研究の新たな発展)
山田, 雅樹; 甲斐, 博 (2015-01)
数理解析研究所講究録, 1930: 112-117
絞り込み
著者
4
照井, 章
2
小原, 功任
2
田島, 慎一
1
MBAITIGA, Zacharie
1
中山, 洋将
1
和地, 輝仁
1
小山, 民雄
1
山田, 雅樹
1
横山, 俊一
1
沼田, 泰英
.
次 >
キーワード
1
college students
1
Mathematical proof
1
Mathematics
1
proof
分類
15
410
資料種別
14
Departmental Bulletin Paper
1
Others