Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0831 精度保証付き数値計算法とその応用
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 14.
前
1
2
次
検索結果:
書誌情報
ファイル
Numerical Verification of Simple Bifurcation Points
Tsuchiya, Takuya (1993-04)
数理解析研究所講究録, 831: 129-140
微分不能項を持つ楕円型方程式の解に対する検証問題について(精度保証付き数値計算法とその応用)
渡部, 善隆; 山本, 野人; 中尾, 充宏 (1993-04)
数理解析研究所講究録, 831: 141-148
非線形楕円型問題の数値解に対する自由パラメータを用いたアポステリオリ誤差評価法(精度保証付き数値計算法とその応用)
新島, 耕一 (1993-04)
数理解析研究所講究録, 831: 83-95
高次要素を用いた残差反復法による楕円型方程式の解の数値的検証法(精度保証付き数値計算法とその応用)
山本, 野人; 中尾, 充宏 (1993-04)
数理解析研究所講究録, 831: 149-157
Tolerance Analysis of Linear Resistive Network by interval Mathematics
OKUMURA, Kohsi; SAKANASHI, Koh (1993-04)
数理解析研究所講究録, 831: 48-52
Numerical Verification of Existence and Inclusion of Solutions for Nonlinear Operator Equations
Oishi, Shin'ichi; Kashiwagi, Masahide (1993-04)
数理解析研究所講究録, 831: 115-128
区間解析と有理数演算による非線形方程式の近似解の精度保証(精度保証付き数値計算法とその応用)
柏木, 雅英; 大石, 進一 (1993-04)
数理解析研究所講究録, 831: 53-72
特異および特異に近い差分方程式のSOR法(精度保証付き数値計算法とその応用)
石原, 和夫; 山本, 慎 (1993-04)
数理解析研究所講究録, 831: 46-47
数式処理と精度保証付き計算の結合(精度保証付き数値計算法とその応用)
野田, 松太郎; 近藤, 祐史 (1993-04)
数理解析研究所講究録, 831: 21-32
FLOATING-POINT NUMBER SOLUTIONS IN A SIMPLE LINEAR EQUATION WITH ADDITION ALGORITHM
Tsuji, Kumiko (1993-04)
数理解析研究所講究録, 831: 33-45
絞り込み
著者
1
小林, 英恒
1
山口, 昌哉
1
山本, 慎
1
新島, 耕一
1
柏木, 雅英
1
棚町, 芳弘
1
渡部, 善隆
1
石原, 和夫
1
西田, 孝明
1
近藤, 祐史
.
< 前
次 >
キーワード
1
numerical verification of solutions
1
parametrized nonlinear boundary v...
1
simple bifurcation points
発行日
14
1993
分類
14
410