Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 11.

前
1
2
次

検索結果:

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