A computer-assisted proof of the Kolmogorov problem of incompressible viscous fluid (Mathematical Analysis of Viscous Incompressible Fluid)
スポンサーリンク
概要
著者
関連論文
- 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化
- 熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算II (微分方程式の離散化手法と数値計算アルゴリズム)
- 楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)
- 無限次元固有値問題に対する固有値の非存在証明 (数値解析と数値計算アルゴリズムの最近の展開)
- Himeno BMTによるハイパフオーマンスコンピュータの性能評価(HPC-9 : 性能評価)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- 基本数値演算 : 内積の評価とその応用
- 並行Poiseuille流れの不安定性に対する計算機援用証明 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- Orr-Sommerfeld問題の解に対する計算機援用証明について (数学解析の理論的展開の計算機による支援・遂行可能性)
- 楕円形固有値問題における重複固有値の精度保証付き数値計算について
- 精度保証付きシミュレーション[4] : 偏微分方程式の精度保証
- 精度保証付き数値計算(1) : 不動点定式化
- 精度保証付き数値計算(2) : 線形逆作用素のノルム評価
- 解けたらうれしい線形方程式
- 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(学術会合報告)
- 微分方程式の精度保証付き数値計算 : 逐次反復に基づく計算機援用証明 (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)