Collection home page

Relevance and Feasibility of Mathematical Analysis on the Computer   11
(http://hdl.handle.net/2433/63119)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11
BibliographyContents
表紙・目次
   (2000-09)
  数理解析研究所講究録, 1169
file type icon
Why such a meeting? (Relevance and Feasibility of Mathematical Analysis on the Computer)
  Yoshikawa, Atsushi (2000-09)
  数理解析研究所講究録, 1169: 1-14
file type icon
Harmonic Relations between Green's Functions and Green's Matrices for Boundary Value Problems (Relevance and Feasibility of Mathematical Analysis on the Computer)
  Yamamoto, Tetsuro (2000-09)
  数理解析研究所講究録, 1169: 15-26
file type icon
Numerical Verification Methods for Solutions of Ordinary and Partial Differential Equations (Relevance and Feasibility of Mathematical Analysis on the Computer)
  Nakao, Mitsuhiro T. (2000-09)
  数理解析研究所講究録, 1169: 27-56
file type icon
可換代数におけるグレブナー基底の果たす役割 (数学解析の理論的展開の計算機上での遂行可能性)
  大杉, 英史, 日比, 孝之 (2000-09)
  数理解析研究所講究録, 1169: 57-61
file type icon
Realistic models of computability on the real numbers (Relevance and Feasibility of Mathematical Analysis on the Computer)
  Brattka, Vasco (2000-09)
  数理解析研究所講究録, 1169: 62-75
file type icon
Feasibly constructive analysis (Relevance and Feasibility of Mathematical Analysis on the Computer)
  Ishihara, Hajime (2000-09)
  数理解析研究所講究録, 1169: 76-83
file type icon
How to understand the computability aspects of step functions (Relevance and Feasibility of Mathematical Analysis on the Computer)
  Yasugi, Mariko (2000-09)
  数理解析研究所講究録, 1169: 84-91
file type icon
矩形領域を生成する可変ブロックパターン要素の組み合わせマッチングによる行列認識手法 (数学解析の理論的展開の計算機上での遂行可能性)
  金堀, 利洋 (2000-09)
  数理解析研究所講究録, 1169: 92-96
file type icon
数式処理システムの手書き入力インターフェイス (数学解析の理論的展開の計算機上での遂行可能性)
  岡村, 博文, 金堀, 利洋, 叢, 偉 (2000-09)
  数理解析研究所講究録, 1169: 97-101
file type icon
Formalized Mathematics, Proof Animation, and Limit Computable Mathematics (Relevance and Feasibility of Mathematical Analysis on the Computer)
  Hayashi, Susumu (2000-09)
  数理解析研究所講究録, 1169: 102-108
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11