Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
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