スポンサーリンク
九州大学大学院数理学研究院 | 論文
- 情報量規準に基づく多変量混合分布モデルのコンポーネント数の推定 (第10回日本計算機統計学会シンポジウム報告)
- 情報量規準に基づく多変量混合分布モデルのコンポーネント数の推定
- 英文数学文書の正解付き文字・記号画像データベース(文書・文字メディアの認識・理解, 一般)
- 英文数学文書の正解付き文字・記号画像データベース(文書・文字メディアの認識・理解, 一般)
- 英文数学文書の正解付き文字・記号画像データベース
- 英文数学文書の正解付き文字・記号画像データベース
- 数学文書データベースの解析(文字とドキュメントの認識・理解)
- 数学文書データベースの解析(文字とドキュメントの認識・理解))
- 数式中の接触文字の画像マッチングに基づく切り分け法
- 最短路問題から導かれる共役集合ゲームに対するシャプレー値(最適化数理の手法と実際)
- CenterBandを用いた数式構造解析の安定化
- CenterBandを用いた数式構造解析の安定化
- CenterBandを用いた数式構造解析の安定化
- ISSAC 参加記
- 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)
- Numerical verification method for spectral problems (Spectral and Scattering Theory and Related Topics)
- 計算機援用証明チュートリアル2005
- 固有値問題の数理 : 近似解法から精度保証まで
- 無限次元固有値問題に対する精度保証付き数値計算の現状と今後の展望 (微分方程式の数値解法と線形計算)
- 非可換調和振動子に関するcoupling型固有値問題の精度保証について (精度保証付き数値計算法とその周辺)