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