書誌情報 | ファイル |
表紙・目次 (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
| |