1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 15.
検索結果:
書誌情報ファイル
Numerical Verification of Simple Bifurcation Points
  Tsuchiya, Takuya (1993-04)
  数理解析研究所講究録, 831: 129-140
file type icon 
微分不能項を持つ楕円型方程式の解に対する検証問題について(精度保証付き数値計算法とその応用)
  渡部, 善隆; 山本, 野人; 中尾, 充宏 (1993-04)
  数理解析研究所講究録, 831: 141-148
file type icon 
非線形楕円型問題の数値解に対する自由パラメータを用いたアポステリオリ誤差評価法(精度保証付き数値計算法とその応用)
  新島, 耕一 (1993-04)
  数理解析研究所講究録, 831: 83-95
file type icon 
高次要素を用いた残差反復法による楕円型方程式の解の数値的検証法(精度保証付き数値計算法とその応用)
  山本, 野人; 中尾, 充宏 (1993-04)
  数理解析研究所講究録, 831: 149-157
file type icon 
Tolerance Analysis of Linear Resistive Network by interval Mathematics
  OKUMURA, Kohsi; SAKANASHI, Koh (1993-04)
  数理解析研究所講究録, 831: 48-52
file type icon 
Numerical Verification of Existence and Inclusion of Solutions for Nonlinear Operator Equations
  Oishi, Shin'ichi; Kashiwagi, Masahide (1993-04)
  数理解析研究所講究録, 831: 115-128
file type icon 
区間解析と有理数演算による非線形方程式の近似解の精度保証(精度保証付き数値計算法とその応用)
  柏木, 雅英; 大石, 進一 (1993-04)
  数理解析研究所講究録, 831: 53-72
file type icon 
特異および特異に近い差分方程式のSOR法(精度保証付き数値計算法とその応用)
  石原, 和夫; 山本, 慎 (1993-04)
  数理解析研究所講究録, 831: 46-47
file type icon 
数式処理と精度保証付き計算の結合(精度保証付き数値計算法とその応用)
  野田, 松太郎; 近藤, 祐史 (1993-04)
  数理解析研究所講究録, 831: 21-32
file type icon 
FLOATING-POINT NUMBER SOLUTIONS IN A SIMPLE LINEAR EQUATION WITH ADDITION ALGORITHM
  Tsuji, Kumiko (1993-04)
  数理解析研究所講究録, 831: 33-45
file type icon 

絞り込み