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