熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
スポンサーリンク
概要
著者
-
西田 孝明
京都大学理学部
-
山本 野人
電気通信大学 情報工学科
-
山本 野人
電気通信大学電気通信学部情報工学科
-
渡部 善隆
九州大学情報基盤センター
-
中尾 充宏
九州大学大学院数理学研究院
-
中尾 充宏
九州大学数理学研究院
-
渡部 善隆
九州大学情報基盤研究開発センター
-
西田 孝明
早稲田大学理工学部
関連論文
- Some Remarks on a Paper of Sinai-Vul in 1980
- 一般化固有値問題の精度保証付き計算とその応用
- 精度保証付き多信長演算の方法と構成
- 常微分方程式の精度保証における数式処理について (数値解析における理論・手法・応用)
- 常微分方程式境界値問題の精度保証法の初期値問題への適用(理論)
- 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化
- 多倍長演算を利用したBessel関数の精度保証付き数値計算(科学技術計算と数値解析(多倍長科学技術計算の基礎と応用), 平成17年研究部会連合発表会)
- Bessel関数の境界条件への適合に関する精度保証付き計算 (微分方程式の数値解法と線形計算)
- 微分方程式の離散化手法と数値計算アルゴリズム(学術会合報告)
- 熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算II (微分方程式の離散化手法と数値計算アルゴリズム)
- 大石進一, 精度保証付き数値計算, コロナ社, 2000年
- 楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算 (精度保証付き数値計算法とその周辺)
- 対称行列の固有値に対する簡便な精度保証法とその実装 (精度保証付き数値計算法とその周辺)
- Navier-Stokes 方程式の解の数値的検証法について(数値計算アルゴリズムの研究)
- A priori 誤差評価定数の計算機による数値評価について(科学技術における数値計算の理論と応用II)
- 楕円型作用素の固有値問題の精度保証とその応用
- 精度保証つき数値計算の現状と動向
- Stokes方程式の有限要素解に対するa priori 誤差評価(科学技術における数値計算の理論と応用)
- Stokes方程式の有限要素解に対するa posteriori誤差評価(数値計算における品質保証とその応用 : 感度解析から証明まで)
- 無限次元固有値問題に対する固有値の非存在証明 (数値解析と数値計算アルゴリズムの最近の展開)
- The Initial value Problems for the Equations of Viscous Compressible and Perfect Compressible Fluids (Nonlinear Functional Analysis)
- ある非線形方程式の差分法による解の存在 (数値解析の基礎理論および偏微分方程式の数値解法シンポジウム)
- Himeno BMTによるハイパフオーマンスコンピュータの性能評価(HPC-9 : 性能評価)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- 基本数値演算 : 内積の評価とその応用
- 連続した入力パタンのあいだの順序関係を認識する神経回路モデル : 情報の予測・抽象化に向けて(応用,科学技術計算と数値解析,平成19年研究部会連合発表会)
- 非線形楕円型方程式の解の漸近的挙動の検証
- Numerical verification by infinite dimensional Newton's method for stationary solutions of the Navier-Stokes problems (New Development of Numerical Analysis in the 21st Century)
- 非可換調和振動子に関するcoupling型固有値問題の精度保証について (精度保証付き数値計算法とその周辺)
- 非線形楕円型問題に対する有限要素解の最大値ノルムによる精度保証(数値計算アルゴリズムの現状と展望II)
- 非凸領域における楕円型方程式の解の数値的検証法(数値計算アルゴリズムの現状と展望)
- ベナール-マランゴーニ対流の分岐(流体数理(2),一般講演)
- 並行Poiseuille流れの不安定性に対する計算機援用証明 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 九州大学計算理工学総合リサーチコアと九州大学数値解析セミナー
- Orr-Sommerfeld問題の解に対する計算機援用証明について (数学解析の理論的展開の計算機による支援・遂行可能性)
- 楕円形固有値問題における重複固有値の精度保証付き数値計算について
- 精度保証付きシミュレーション[4] : 偏微分方程式の精度保証
- Numerical Verification Methods for Solutions of Ordinary and Partial Differential Equations (Relevance and Feasibility of Mathematical Analysis on the Computer)
- 山辺の問題の解の漸近的挙動に対する数値的検証法の応用(数値計算における精度保証付き算法とその計算量に関する研究)
- G321 自由表面流のHopf分岐(G-32 数理流体(2),一般講演)
- Benard-Marangoni convection with a deformable surface
- Eigenvalue problems arising from two-component flow(The State of the Art of Scientific Computing and Its Prospect)
- 3. 微分方程式に対する保征付き数値計算 (精度保証付き数値計算とその応用)
- Periodic Solutions of Duffing Equation
- 精度保証付き数値計算(1) : 不動点定式化
- 精度保証付き数値計算(2) : 線形逆作用素のノルム評価
- Periodic Solutions of the Forced Burgers Equation (Mathematical Analysis in Fluid and Gas Dynamics)
- 空間一次元粘性流体の自由境界問題の数値計算(自由境界問題の数値解析とその周辺)
- 解けたらうれしい線形方程式
- Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Benard problem (流体と気体の数学解析--RIMS研究集会報告集)
- Rayleigh-Benard 問題の大域分岐構造に対する精度保証付き数値計算(計算科学の基盤技術とその発展)
- 多倍長計算を適用した精度保証数値計算 (21世紀における数値解析の新展開)
- SCAN 2004
- Navier-Stokes方程式の解に対する数値的検証の現状と動向 (数値解析と新しい情報技術)
- 高性能大規模計算と精度保証付き計算に関するワークショップ(学術会合報告)
- SCAN 2000/Interval 2000(学術会合報告)
- 楕円型方程式の解の数値的検証法へのKrawczyk法の適用(数値計算における品質保証とその応用 : 感度解析から証明まで)
- 高次要素を用いた残差反復法による楕円型方程式の解の数値的検証法(精度保証付き数値計算法とその応用)
- 微分不能項を持つ楕円型方程式の解に対する検証問題について(精度保証付き数値計算法とその応用)
- 粘性流体の境界の捕捉に関する話題(自由境界問題の数値解析とその周辺)
- PERIODIC SOLUTIONS IN THE HALF-SPACE FOR A ONE-DIMENSIONAL MODEL OF VISCO-ELASTICITY(Mathematical Analysis of Phenomena in Fluid and Plasma Dynamics)
- Shock Wave Simulations by Finite Difference Schemes (Mathematical Analysis in Fluid and Gas Dynamics)
- Asymptotic Behaviors of Solutions of Equation for Viscous Gas Motion
- 水の表面波 (完全積分可能な非線型系の古典論と量子論)
- Sur les Ondes de Surface de l'Eau (偏微分方程式の解の構造の研究)
- ある準線形双曲型方程式の初期境界値問題の解の大域的存在 (発展方程式とその数値解析研究会報告集)
- 非線形楕円型境界値問題の解に対する精度保証付き数値計算法
- 1. 精度保証付き数値計算の現状と動向 (精度保証付き数値計算とその応用)
- 微分方程式の精度保証付き数値計算 : 逐次反復に基づく計算機援用証明 (Progress in Mathematics of Integrable Systems)
- 関数方程式の解の存在に対する数値的検証法
- 精度保証付き数値計算(4) : 区間演算と有限次元問題の精度保証(チュートリアル)
- 精度保証付き数値計算(3) : 中尾理論入門
- 流体の方程式の解析--自由表面問題
- 偏微分方程式の解の精度保証(数値シミュレーションの品質保証)
- 常微分方程式の解の精度保証法(数値シミュレーションの品質保証)
- 力学系における閉軌道の存在領域の精度保証法による同定(理論)
- A computer-assisted proof of the Kolmogorov problem of incompressible viscous fluid (Mathematical Analysis of Viscous Incompressible Fluid)