書誌情報	ファイル
表紙・目次    (2000-09)   数理解析研究所講究録, 1169
Why such a meeting? (Relevance and Feasibility of Mathematical Analysis on the Computer)   Yoshikawa, Atsushi (2000-09)   数理解析研究所講究録, 1169: 1-14
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
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
可換代数におけるグレブナー基底の果たす役割 (数学解析の理論的展開の計算機上での遂行可能性)   大杉, 英史; 日比, 孝之 (2000-09)   数理解析研究所講究録, 1169: 57-61
Realistic models of computability on the real numbers (Relevance and Feasibility of Mathematical Analysis on the Computer)   Brattka, Vasco (2000-09)   数理解析研究所講究録, 1169: 62-75
Feasibly constructive analysis (Relevance and Feasibility of Mathematical Analysis on the Computer)   Ishihara, Hajime (2000-09)   数理解析研究所講究録, 1169: 76-83
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
矩形領域を生成する可変ブロックパターン要素の組み合わせマッチングによる行列認識手法 (数学解析の理論的展開の計算機上での遂行可能性)   金堀, 利洋 (2000-09)   数理解析研究所講究録, 1169: 92-96
数式処理システムの手書き入力インターフェイス (数学解析の理論的展開の計算機上での遂行可能性)   岡村, 博文; 金堀, 利洋; 叢, 偉 (2000-09)   数理解析研究所講究録, 1169: 97-101
Formalized Mathematics, Proof Animation, and Limit Computable Mathematics (Relevance and Feasibility of Mathematical Analysis on the Computer)   Hayashi, Susumu (2000-09)   数理解析研究所講究録, 1169: 102-108