Collection home page

Feasibility of Theoretical Arguments of Mathematical Analysis on Computer   19
(http://hdl.handle.net/2433/25006)

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