ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 荻田 武史

  早稲田大学大学院理工学研究科

• 尾崎 克久

  早稲田大学 理工学術院

• 大石 進一

  早稲田大 理工学術院

• 荻田 武史

  東京女子大学 現代教養学部 数理科学科

関連論文

• 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
• 行列式が1の3次整数行列の一生成法
• 行列式の精度保証付き数値計算法
• 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
• 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
• A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
• 非常に大きな条件数をもつ整数行列の一生成法
• 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
• 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
• マルチプロセスを用いた連立一次方程式の精度保証法の実装
• 線形抵抗回路の動作点の数値的精度保証法
• 線形抵抗回路の動作点の数値的精度保証法
• 行列式が1の3次整数行列の一生成法
• 線形受動抵抗回路の解の精度保証について
• 非対称行列から生成された対称行列に対するCG法 (数値解析と新しい情報技術)
• A-2-27 アフィン演算を用いた非線形方程式の解曲線追跡(A-2.非線形問題,一般講演)
• 精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
• 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
• A-2-2 非線形方程式に対する精度保証付き数値計算法
• 非線形方程式に対する精度保証付き数値計算法
• 非線形方程式に対する精度保証付き数値計算法
• 有限次元非線形方程式の全解探索アルゴリズム
• パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
• A-2-7 非線形方程式の解の非存在の厳密な数値的検証法
• 非線形方程式の解の非存在検証法の効率化
• 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム(論文賞贈呈)
• 区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法
• 線形計画法を用いた非線形方程式の解の非存在検証法
• 内点法を用いた非線形方程式の探索領域における解の非存在判定法について
• Sobolevノルムによる非線形常微分方程式の解の存在検証法
• 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
• A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
• A-2-27 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
• 精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法
• L_2ノルム評価による常微分方程式の解の存在検証法
• 無限行列を用いた常微分方程式の解の存在検証法
• 区間Newton法を用いた非線形常微分方程式の解の数値的存在検証法
• 非線形作用素方程式の解の存在検証法
• 区分関数を用いた非線形常微分方程式の境界値問題における精度保証
• real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 線形受動抵抗回路の解の精度保証について
• 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
• 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
• 複素解析を用いた高速精度保証付き自動積分法
• ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
• 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
• 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
• 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
• 基礎・境界ソサイエティの活性化の一活動 : ICFS 2002の活動計画
• 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
• 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
• 実対称行列の各固有対に対する精度保証付き数値計算法
• 連立一次方程式のメモリ量を低減した精度保証付き数値計算法(ロバスト計算と精度保証)
• 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(ロバスト計算と精度保証)
• 精度保証付き数値計算をつかった super fast real root counting
• 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
• 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
• Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
• A-1-36 グリーン関数を用いた非線形常微分方程式の周期解の数値的存在検証法とその従来法との比較(A-1. 回路とシステム, 基礎・境界)
• A-2-24 グリーン関数を用いた非線形常微分方程式の解の数値的存在検証法(A-2. 非線形問題)
• A-2-6 階段関数近似を用いた非線形常微分方程式の解の数値的存在検証法
• INVA 2008学術会議参加報告(学術会合報告)
• 悪条件対称行列の正確なコレスキー分解正定値性の検出(光カオス,一般)
• 大規模連立一次方程式のための高速精度保証法(シンポジウム)
• 10. 21世紀COEプロジェクト「プロダクティブICTアカデミア」(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
• 21世紀COEプロジェクト「プロダクティブICTアカデミア」
• 高精度内積計算アルゴリズムとその応用 (数学解析の理論的展開の計算機による支援・遂行可能性)
• 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
• Strassen のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
• 計算機援用証明II
• 計算機援用証明I
• 有限要素法用ICCG法の並列化方法 (偏微分方程式の数値解法とその周辺)
• 3)視覚特性を考慮した静止画像の符号化法(〔画像表示研究会視覚情報研究会画像通信システム研究会〕合同)
• シミュレーションという懐の広さ
• 日本応用数理学会20周年記念式典の概要(20周年記念)
• 反復解法による連立一次方程式の数値解の高速精度保証
• 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
• 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
• 有向丸めの変更を使用しないタイトな行列積の包含方法
• 線形受動抵抗回路の解の回路構造に基づいた精度保証について
• Affine Arithmeticを用いた非線形常微分方程式の解の数値的存在検証法
• 非線形周期的常微分方程式の周期解の数値的存在検証法
• A-2-26 アフィン演算を用いた非線形常微分方程式の解の数値的存在検証法
• 2次元ポテンシャル問題における偏微分方程式の精度保証付き数値計算 (微分方程式の数値解法と線形計算)
• A-2-4 固有値に対する要素別高速精度保証法
• A-2-21 複素行列の特異値に対する高速精度保証
• A-2-1 行列の固有値問題の高速精度保証
• Iterative Refinement for Ill-Conditioned Linear Systems
• Adaptive and Efficient Algorithm for 2D Orientation Problem
• 高精度行列-行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
• BLAS を用いた高精度な行列積アルゴリズムの使用メモリ量の削減とその性能について (科学技術計算における理論と応用の新展開)
• 有向丸めの変更を使用しないタイトな行列積の包含方法
• ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介
• 有向丸めの変更を使用しないタイトな行列積の包含方法
• CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介(ラボラトリーズ)
• The 7th East Asia SIAM Conference(Conference Reports)
• 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法
• ポータブルかつ高精度な初等関数の精度保証付き数値計算とその応用
• 行列式の高速精度保証法
• 点と直線の位置関係の高速かつ適応的な精度保証法について

もっと見る 閉じる

スポンサーリンク