Collection home page

Theoretical development and feasibility of mathematical analysis on the computer   17
(http://hdl.handle.net/2433/40860)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 17 of 17
BibliographyContents
表紙・目次
   (2002-09)
  数理解析研究所講究録, 1286
file type icon
あいさつ (数学解析の計算機上での理論的展開とその遂行可能性)
  吉川, 敦 (2002-09)
  数理解析研究所講究録, 1286: 1-3
file type icon
テスト関数の空間の完備性について (数学解析の計算機上での理論的展開とその遂行可能性)
  Ishihara, Hajime (2002-09)
  数理解析研究所講究録, 1286: 4-8
file type icon
グレブナ変形による微分方程式系の解析 (数学解析の計算機上での理論的展開とその遂行可能性)
  高山, 信毅 (2002-09)
  数理解析研究所講究録, 1286: 9-16
file type icon
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
file type icon
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
file type icon
有理関数近似の離散化における問題点 (数学解析の計算機上での理論的展開とその遂行可能性)
  村上, 裕美, 甲斐, 博, 野田, 松太郎 (2002-09)
  数理解析研究所講究録, 1286: 34-50
file type icon
有限体上の多項式イデアルの素イデアル分解について (数学解析の計算機上での理論的展開とその遂行可能性)
  横山, 和弘 (2002-09)
  数理解析研究所講究録, 1286: 51-60
file type icon
$\beta$-expansionに関連したFine距離とWalsh関数系 (数学解析の計算機上での理論的展開とその遂行可能性)
  赤間, 陽二, 竹内, 大輔 (2002-09)
  数理解析研究所講究録, 1286: 61-78
file type icon
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
file type icon
論理学の歴史とコンピュータ (数学解析の計算機上での理論的展開とその遂行可能性)
  高橋, 正子 (2002-09)
  数理解析研究所講究録, 1286: 85-100
file type icon
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
file type icon
自己相似タイル貼り構成の計算例 (数学解析の計算機上での理論的展開とその遂行可能性)
  貞広, 泰造, 桜井, 幸一 (2002-09)
  数理解析研究所講究録, 1286: 119-130
file type icon
保存則のエントロピー解の計算可能性 (数学解析の計算機上での理論的展開とその遂行可能性)
  吉川, 敦 (2002-09)
  数理解析研究所講究録, 1286: 131-140
file type icon
波面追跡法とその周辺 (数学解析の計算機上での理論的展開とその遂行可能性)
  浅倉, 史興 (2002-09)
  数理解析研究所講究録, 1286: 141-154
file type icon
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
file type icon
音声認識を用いた日本語による数式インタフェース (数学解析の計算機上での理論的展開とその遂行可能性)
  前田, 秋吐, 鈴木, 昌和 (2002-09)
  数理解析研究所講究録, 1286: 170-177
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 17 of 17