書誌情報	ファイル
表紙・目次    (2004-06)   数理解析研究所講究録, 1381
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
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
Continued Fractions and Fractional Derivative Viscoelasticity (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   Sakakibara, Susumu (2004-06)   数理解析研究所講究録, 1381: 21-41
On the Abhyankar's question for affine plane curves with one place at infinity (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   Fujimoto, Mitsushi; Suzuki, Masakazu; Yokoyama, Kazuhiro (2004-06)   数理解析研究所講究録, 1381: 42-50
Fine Continuous Functions and Computable Analysis (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   Mori, Takakazu (2004-06)   数理解析研究所講究録, 1381: 51-64
ラムダゲーム ： メタゲームへのアプローチ (数学解析の理論的展開の計算機による支援・遂行可能性)   舛本, 現 (2004-06)   数理解析研究所講究録, 1381: 65-79
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
Dyadic Subbases and Representations of Topological Spaces (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   Tsuiki, Hideki (2004-06)   数理解析研究所講究録, 1381: 90-98
Apartness Spaces : an Overview (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   Vita, Luminita Simona (2004-06)   数理解析研究所講究録, 1381: 99-107
Informal Constructive Reverse Mathematics (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   Ishihara, Hajime (2004-06)   数理解析研究所講究録, 1381: 108-117
Computability problems of piecewise continuous functions (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   Yasugi, Mariko; Tsujii, Yoshiki (2004-06)   数理解析研究所講究録, 1381: 118-127
高精度内積計算アルゴリズムとその応用 (数学解析の理論的展開の計算機による支援・遂行可能性)   大石, 進一 (2004-06)   数理解析研究所講究録, 1381: 128-133
$D$加群のアルゴリズムとその数値解析への応用 (数学解析の理論的展開の計算機による支援・遂行可能性)   高山, 信毅 (2004-06)   数理解析研究所講究録, 1381: 134-147
Orr-Sommerfeld問題の解に対する計算機援用証明について (数学解析の理論的展開の計算機による支援・遂行可能性)   中尾, 充宏; 渡部, 善隆; Plum, Michael (2004-06)   数理解析研究所講究録, 1381: 148-158
計算可能無理数を基数とする記数法と計算可能実数 (数学解析の理論的展開の計算機による支援・遂行可能性)   赤間, 陽二; 飯塚, 新司 (2004-06)   数理解析研究所講究録, 1381: 159-167
Interpolation solves open questions in discrete integrable system (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   木村, 欣司 (2004-06)   数理解析研究所講究録, 1381: 168-181
ランダムタイリングの数値シミュレーション (数学解析の理論的展開の計算機による支援・遂行可能性)   貞広, 泰造 (2004-06)   数理解析研究所講究録, 1381: 182-189
Maple and wave-front tracking : an experiment (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)   Yoshikawa, Atsushi (2004-06)   数理解析研究所講究録, 1381: 190-218