Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
2037 現象解明に向けた数値解析学の新展開 II = 2037 Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 21.
前
1
2
3
次
検索結果:
書誌情報
ファイル
埋め込み境界法の数学的定式化に対する諸注意 (現象解明に向けた数値解析学の新展開 II)
杉谷, 宜紀 (2017-07)
数理解析研究所講究録, 2037: 106-115
形状最適化問題における評価関数の2階微分と$H^{1}$ Newton法 (現象解明に向けた数値解析学の新展開 II)
畔上, 秀幸 (2017-07)
数理解析研究所講究録, 2037: 5-16
代数的多重格子法と高並列実装手法 (現象解明に向けた数値解析学の新展開 II)
藤井, 昭宏; 野村, 直也; 田中, 輝雄 (2017-07)
数理解析研究所講究録, 2037: 17-20
GPUスパコンによる大規模粒子法・格子法シミュレーション (現象解明に向けた数値解析学の新展開 II)
青木, 尊之 (2017-07)
数理解析研究所講究録, 2037: 1-4
2つのKrylov部分空間による複素モーメント型固有値解法の改良 (現象解明に向けた数値解析学の新展開 II)
今倉, 暁; 櫻井, 鉄也 (2017-07)
数理解析研究所講究録, 2037: 21-31
非保存型に基づいた衝撃波を含む非線形波動の新しい解法 (現象解明に向けた数値解析学の新展開 II)
金森, 正史 (2017-07)
数理解析研究所講究録, 2037: 32-35
表紙・目次
(2017-07)
数理解析研究所講究録, 2037
Numerical verification method for positivity of solutions to elliptic equations (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II)
Tanaka, Kazuaki; Sekine, Kouta; Oishi, Shin'ichi (2017-07)
数理解析研究所講究録, 2037: 125-140
Error analysis of Lagrange interpolation on tetrahedrons (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II)
小林, 健太; 土屋, 卓也 (2017-07)
数理解析研究所講究録, 2037: 36-43
ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 (現象解明に向けた数値解析学の新展開 II)
関根, 晃太; 田中, 一成; 大石, 進一 (2017-07)
数理解析研究所講究録, 2037: 96-105
絞り込み
著者
2
Oikawa, Issei
1
Huynh, Quang Huy Viet
1
Kashiwabara, Takahito
1
Oishi, Shin'ichi
1
Sekine, Kouta
1
Suito, Hiroshi
1
Tanaka, Kazuaki
1
Zhou, Guanyu
1
中尾, 充宏
1
今倉, 暁
.
次 >
キーワード
1
35Q30
1
65N30
1
computer-assisted proof
1
elliptic boundary value problem
1
error estimate
1
existence proof
1
finite element method
1
penalty method
1
Stokes problem
1
verified numerical computation
.
次 >
発行日
21
2017
資料種別
20
Departmental Bulletin Paper
1
Others