高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法

スポンサーリンク

概要

• 論文の詳細を見る
• 2004-06-16

著者

• 太田 貴久

  早稲田大学 理工学術院

• 荻田 武史

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

• 大石 進一

  早稲田大学

• 太田 貴久

  早稲田大学理工学部

• ルンプ S.

  ハンブルグ-ハーブルグ工科大学

関連論文

• 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
• 行列式が1の3次整数行列の一生成法
• 行列式の精度保証付き数値計算法
• 数値シミュレーションの精度保証と信頼性(シミュレーションと信頼性)
• 線形計画問題の最適解の精度保証(カオスの通信への応用,局在振動,一般)
• 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
• 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
• 精度保証付き数値計算法の最近の到達点とMATLAB上のツールボックス
• A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
• C++による精度保証付き数値計算ライブラリ
• C++と浮動小数点数による精度保証付き数値計算ライブラリ
• 実用化されつつある高品質数値計算とその画期的な応用
• Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms)
• 非線形関数方程式の精度保証付き数値計算法
• 非常に大きな条件数をもつ整数行列の一生成法
• 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
• 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
• マルチプロセスを用いた連立一次方程式の精度保証法の実装
• 線形抵抗回路の動作点の数値的精度保証法
• 線形抵抗回路の動作点の数値的精度保証法
• 行列式が1の3次整数行列の一生成法
• 線形受動抵抗回路の解の精度保証について
• 同期技術と同期現象
• あるクラスのphase modelのダイナミクスについて : 同期/非同期の臨界状態
• Dynamical Theory on Mutually Connected PLL's
• 多くのパラメータをもつダイナミカルシステムの特異点解析
• 複素時間から見た非線形回路のpower spectrum
• 複素時間からみた非線形回路 : Phase-Locked Loopsの場合
• 座談会「応用数理と私」
• 非対称行列から生成された対称行列に対するCG法 (数値解析と新しい情報技術)
• A-2-27 アフィン演算を用いた非線形方程式の解曲線追跡(A-2.非線形問題,一般講演)
• 精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
• 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
• A-2-2 非線形方程式に対する精度保証付き数値計算法
• 非線形方程式に対する精度保証付き数値計算法
• 非線形方程式に対する精度保証付き数値計算法
• 有限次元非線形方程式の全解探索アルゴリズム
• パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
• A-2-7 非線形方程式の解の非存在の厳密な数値的検証法
• 非線形方程式の解の非存在検証法の効率化
• 区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法
• 線形計画法を用いた非線形方程式の解の非存在検証法
• 内点法を用いた非線形方程式の探索領域における解の非存在判定法について
• 最適化手法による非線形方程式の解の非存在性の数値的検証法
• 高分子溶液の多相平衡に関する非線形方程式の全解探索
• 円形複素領域を用いた非線形方程式の解の精度保証付き数値計算
• 非線形方程式の複素数解の精度保証付き数値計算
• 非線形常微分方程式の近似的特異解の精度保証付き数値計算
• 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
• 化学平衡系の非線形方程式の精度保証付き数値計算
• 数理計画法に基づいた非線形方程式の解の非存在の数値的検証法
• 区分線形系微分方程式の周期解と分岐点の精度保証について
• ある分岐点の精度保証つき数値計算法
• 非線形方程式の特異解の精度保証付数値計算について
• 線形計画法を用いた非線形方程式の精度保証つき全解探索
• 線形計画法を用いた非線形方程式の精度保証付き全解探索
• 非線形方程式の近似的特異解とその数値的存在検証法
• 非線形方程式の複素数解の精度保証付数値計算
• 境界値問題の折り返し点の数値的存在検証法
• 非線形楕円型偏微分方程式の精度保証法(一般)
• 非線形楕円型偏微分方程式の精度保証法(一般)
• 2-1 IEEE/ACM Computing Curricula 2001などの情報通信系標準カリキュラム : 2003年度発足の早稲田大学理工学部コンピュータ・ネットワーク工学科カリキュラムを例として(2.カリキュラム)(グローバル化時代の教育と研究)
• Sobolevノルムによる非線形常微分方程式の解の存在検証法
• real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
• 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
• 複素解析を用いた高速精度保証付き自動積分法
• ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
• 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
• 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
• 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
• 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
• 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
• 実対称行列の各固有対に対する精度保証付き数値計算法
• 連立一次方程式のメモリ量を低減した精度保証付き数値計算法(ロバスト計算と精度保証)
• 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(ロバスト計算と精度保証)
• 精度保証付き数値計算をつかった super fast real root counting
• 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
• 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
• Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
• 大規模連立一次方程式のための高速精度保証法(シンポジウム)
• 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
• Strassen のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
• 計算機援用証明II
• 計算機援用証明I
• 有限要素法用ICCG法の並列化方法 (偏微分方程式の数値解法とその周辺)
• 反復解法による連立一次方程式の数値解の高速精度保証
• 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
• 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
• 有向丸めの変更を使用しないタイトな行列積の包含方法
• 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)
• 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法

もっと見る 閉じる

スポンサーリンク