書誌情報	ファイル
表紙・目次    (2002-09)   数理解析研究所講究録, 1286
あいさつ (数学解析の計算機上での理論的展開とその遂行可能性)   吉川, 敦 (2002-09)   数理解析研究所講究録, 1286: 1-3
テスト関数の空間の完備性について (数学解析の計算機上での理論的展開とその遂行可能性)   Ishihara, Hajime (2002-09)   数理解析研究所講究録, 1286: 4-8
グレブナ変形による微分方程式系の解析 (数学解析の計算機上での理論的展開とその遂行可能性)   高山, 信毅 (2002-09)   数理解析研究所講究録, 1286: 9-16
Some Computer Assisted Proofs for Solutions of the Heat Convection Problems (Theoretical development and feasibility of mathematical analysis on the computer)   Watanabe, Yoshitaka; Nakao, Mitsuhiro T.; Yamamoto, Nobito; Nishida, Takaaki (2002-09)   数理解析研究所講究録, 1286: 17-26
Harmonic Relations between Green's Functions and Green's Matrices for Boundary Value Problems II (Theoretical development and feasibility of mathematical analysis on the computer)   Yamamoto, Tetsuro (2002-09)   数理解析研究所講究録, 1286: 27-33
有理関数近似の離散化における問題点 (数学解析の計算機上での理論的展開とその遂行可能性)   村上, 裕美; 甲斐, 博; 野田, 松太郎 (2002-09)   数理解析研究所講究録, 1286: 34-50
有限体上の多項式イデアルの素イデアル分解について (数学解析の計算機上での理論的展開とその遂行可能性)   横山, 和弘 (2002-09)   数理解析研究所講究録, 1286: 51-60
$\beta$-expansionに関連したFine距離とWalsh関数系 (数学解析の計算機上での理論的展開とその遂行可能性)   赤間, 陽二; 竹内, 大輔 (2002-09)   数理解析研究所講究録, 1286: 61-78
Limit computation of some discontinuous functions (Theoretical development and feasibility of mathematical analysis on the computer)   Yasugi, Mariko; Brattka, Vasco; Washihara, Masako (2002-09)   数理解析研究所講究録, 1286: 79-84
論理学の歴史とコンピュータ (数学解析の計算機上での理論的展開とその遂行可能性)   高橋, 正子 (2002-09)   数理解析研究所講究録, 1286: 85-100
Image restoration through microlocal analysis with smooth tight wavelet frames (Theoretical development and feasibility of mathematical analysis on the computer)   Ashino, Ryuichi; Desjardins, Steven J.; Heil, Christopher; Nagase, Michihiro; Vaillancourt, Remi (2002-09)   数理解析研究所講究録, 1286: 101-118
自己相似タイル貼り構成の計算例 (数学解析の計算機上での理論的展開とその遂行可能性)   貞広, 泰造; 桜井, 幸一 (2002-09)   数理解析研究所講究録, 1286: 119-130
保存則のエントロピー解の計算可能性 (数学解析の計算機上での理論的展開とその遂行可能性)   吉川, 敦 (2002-09)   数理解析研究所講究録, 1286: 131-140
波面追跡法とその周辺 (数学解析の計算機上での理論的展開とその遂行可能性)   浅倉, 史興 (2002-09)   数理解析研究所講究録, 1286: 141-154
A recognition method of matrices by using variable block pattern elements generating rectangular area (Theoretical development and feasibility of mathematical analysis on the computer)   Kanahori, Toshihiro (2002-09)   数理解析研究所講究録, 1286: 155-169
音声認識を用いた日本語による数式インタフェース (数学解析の計算機上での理論的展開とその遂行可能性)   前田, 秋吐; 鈴木, 昌和 (2002-09)   数理解析研究所講究録, 1286: 170-177