Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1381 数学解析の理論的展開の計算機による支援・遂行可能性 = Feasibility of Theoretical Arguments of Mathematical Analysis on Computer
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 19.
前
1
2
次
検索結果:
書誌情報
ファイル
Orr-Sommerfeld問題の解に対する計算機援用証明について (数学解析の理論的展開の計算機による支援・遂行可能性)
中尾, 充宏; 渡部, 善隆; Plum, Michael (2004-06)
数理解析研究所講究録, 1381: 148-158
The completion of the space $\mathcal{D}(\mathbb{R})$ in constructive analysis (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
Yoshida, Satoru (2004-06)
数理解析研究所講究録, 1381: 80-89
Continued Fractions and Fractional Derivative Viscoelasticity (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
Sakakibara, Susumu (2004-06)
数理解析研究所講究録, 1381: 21-41
Maple and wave-front tracking : an experiment (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
Yoshikawa, Atsushi (2004-06)
数理解析研究所講究録, 1381: 190-218
Numerical Methods with Fourth Order Accuracy for Two-Point Boundary Value Problems (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
Aguchi, Seiji; Yamamoto, Tetsuro (2004-06)
数理解析研究所講究録, 1381: 11-20
$D$加群のアルゴリズムとその数値解析への応用 (数学解析の理論的展開の計算機による支援・遂行可能性)
高山, 信毅 (2004-06)
数理解析研究所講究録, 1381: 134-147
ラムダゲーム : メタゲームへのアプローチ (数学解析の理論的展開の計算機による支援・遂行可能性)
舛本, 現 (2004-06)
数理解析研究所講究録, 1381: 65-79
Harmonic Relations between Green's Functions and Green's Matrices for Boundary Value Problems (III) (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
Yamamoto, Tetsuro (2004-06)
数理解析研究所講究録, 1381: 1-10
ランダムタイリングの数値シミュレーション (数学解析の理論的展開の計算機による支援・遂行可能性)
貞広, 泰造 (2004-06)
数理解析研究所講究録, 1381: 182-189
Interpolation solves open questions in discrete integrable system (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
木村, 欣司 (2004-06)
数理解析研究所講究録, 1381: 168-181
絞り込み
著者
2
Yamamoto, Tetsuro
1
Aguchi, Seiji
1
Fujimoto, Mitsushi
1
Ishihara, Hajime
1
Mori, Takakazu
1
Plum, Michael
1
Sakakibara, Susumu
1
Suzuki, Masakazu
1
Tsuiki, Hideki
1
Tsujii, Yoshiki
.
次 >
分類
19
410
資料種別
18
Departmental Bulletin Paper
1
Others