The 7th East Asia SIAM Conference(Conference Reports)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本応用数理学会の論文
- 2012-09-26
著者
-
岡本 久
京都大学数理解析研究所
-
岡本 久
Research Institute For Mathematical Sciences Kyoto University
-
荻田 武史
東京女子大学 文理学部 数理学科
-
荻田 武史
早稲田大学大学院理工学研究科
-
荻田 武史
東京女子大学 現代教養学部 数理科学科
-
岡本 久
京大数理研
-
Okamoto Hiroyuki
Faculty Of Medicine Kanazawa University
-
荻田 武史
東京女子大学
関連論文
- 行列式の精度保証付き数値計算法
- DE積分変換を利用した水面波および孤立波の数値計算について (微分方程式の離散化手法と数値計算アルゴリズム)
- DE変換公式とFFTによる水面重力波の解の高精度計算について (偏微分方程式の数値解法とその周辺II)
- 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 非対称行列から生成された対称行列に対するCG法 (数値解析と新しい情報技術)
- Crapperの表面張力波の一意性について (波動の非線形現象とその応用)
- real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
- Superconductuvity at 14.2K in Layered Organics under extreme Pressure
- ICIAM 2007参加記(学術会合報告)
- 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
- 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法
- 連立一次方程式のメモリ量を低減した精度保証付き数値計算法(ロバスト計算と精度保証)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(ロバスト計算と精度保証)
- 精度保証付き数値計算をつかった super fast real root counting
- 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
- 大規模連立一次方程式のための高速精度保証法(シンポジウム)
- 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
- Strassen のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
- Nonexistence of bifurcation from Crapper's pure capillary waves(Mathematical Analysis of Phenomena in Fluid and Plasma Dynamics)
- 代用電荷法における数学的問題について(境界要素法の数学的理論とその周辺:II)
- Dynamical System Arising in Nonstationary Motion of a Free Boundary of a Perfect Fluid(Nonlinear Evolution Equation : Theory and Applications)
- 循環する流体の自由境界問題 : 解の存在と一意性、非一意性(ナビエ・ストークスの方程式の解)
- On the Unique Solvability of the Equation Describing Unsteady Motion of a Stratified Fluid (応用科学における偏微分方程式と数値解析)
- 非定常Navier-Stokes方程式に対する有限要素法の数学的考察 (流体力学における非定常問題)
- 計算機援用証明II
- 計算機援用証明I
- G113 2 次元菱形周期流の分岐について
- Navier-Stokes方程式の非有界な解は爆発し得る (流体と気体の数学解析)
- 有限要素法用ICCG法の並列化方法 (偏微分方程式の数値解法とその周辺)
- 進行する重力・表面張力波の流体粒子が描く軌道(流体数理(3),一般講演)
- 動く球や円柱が引き起こす流体粒子の軌道(解析・予測・制御 流体数理(3),一般講演)
- 発見者の名誉
- 応用解析等教科書の個人的な概観(定評ある教科書・古典的書籍)
- 計算機実験と数学 : 変わり者の独り言
- Blow-up problems modeled from the strain-vorticity dynamics (Tosio Kato's Method and Principle for Evolution Equations in Mathematical Physics)
- 菱形Navier-Stokes流の解の分岐と非粘性極限 (臨界現象と微分方程式の解の分岐)
- Proudman-Johnson方程式の周辺の話題 (流体と気体の数学解析)
- 数学の未解決問題 21世紀に向けて(19)Navier-Stokes方程式の未解決問題
- Navier-Stokes 方程式の解の構造について
- Proudman-Johnson方程式の解の爆発について
- 数値解析と応用数学関連の報告
- 国際研究集会「第5回流体とプラズマの力学の数学的側面」参加印象記(学術会合報告)
- Kolmogorov流における特異摂動問題
- 研究委員会紹介 精度保証付シミュレーション技術研究委員会
- 反復解法による連立一次方程式の数値解の高速精度保証
- 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- Nuclear Susceptibility and Zeeman-Exchange Relaxation Time of Solid ^3He along the Melting Curve below 15 mK
- Iterative Refinement for Ill-Conditioned Linear Systems
- Adaptive and Efficient Algorithm for 2D Orientation Problem
- 高精度行列-行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
- An Application of Draghicescu's Fast Summation Method to Vortex Sheet Motion
- ポテンシャル問題の高速解法
- BLAS を用いた高精度な行列積アルゴリズムの使用メモリ量の削減とその性能について (科学技術計算における理論と応用の新展開)
- ポテンシャル問題の数値解法(ポテンシャル論とその関連分野)
- Euler 方程式と N-S 方程式の解の数学的構造
- 流れの解析 (特集 微積分の力--数理科学的センスを求めて)
- 30a-E-7 Navier-Stokes方程式の厳密解について
- 定常表面張力波について
- 定常表面張力波について(流体における波動現象の数理とその応用)
- 国際研究集会"Unstable and Turbulent Motion of Fluid"印象記(学術会合報告)
- 数値的手法(ICM-90印象記)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介(ラボラトリーズ)
- The 7th East Asia SIAM Conference(Conference Reports)
- 連立一次方程式の解に対する精度保証付き数値計算(数値シミュレーションの品質保証)
- 日本応用数理学会のさらなる発展を願って(フェロー)
- CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法