精度保証付き数値計算をつかった super fast real root counting
スポンサーリンク
概要
- 論文の詳細を見る
- 2005-12-01
著者
-
荻田 武史
早稲田大学大学院理工学研究科
-
木村 欣司
九州大学数理学研究科
-
荻田 武史
東京女子大学 現代教養学部 数理科学科
-
木村 欣司
立教大学理学部
-
宮島 信也
早大理工
-
荻田 武史
早大理工
-
宮島 信也
早稲田大学理工学術院
関連論文
- GPUを利用した非線形方程式の並列全解探索法(実用)
- 行列式の精度保証付き数値計算法
- 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 非対称行列から生成された対称行列に対するCG法 (数値解析と新しい情報技術)
- A-2-23 アフィン演算を利用した非線形方程式の解の存在検証(A-2. 非線形問題)
- real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 関孝和の問題を解く
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
- 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
- 離散戸田方程式を用いた大規模疎行列の連立一次方程式, 行列式, 固有多項式の計算法(応用可積分系, 平成17年研究部会連合発表会)
- アフィン演算における乗除算について
- アフィン演算における最良乗算について
- A-21 Affine Arithmeticにおける最良乗算の実現(数値計算,A.アルゴリズム・基礎)
- A-2-3 Affine Arithmeticにおける除算の改良について
- 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法
- 連立一次方程式のメモリ量を低減した精度保証付き数値計算法(ロバスト計算と精度保証)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(ロバスト計算と精度保証)
- 精度保証付き数値計算をつかった super fast real root counting
- 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
- アフィン演算における最良乗算の除算への応用(通信と非線形特集及び一般)
- 大規模連立一次方程式のための高速精度保証法(シンポジウム)
- 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
- Strassen のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
- A-2-1 アフィン演算における最良乗算を使用した除算について
- A-2-23 Affine Arithmeticにおける除算の新手法について
- 計算機援用証明II
- 計算機援用証明I
- A-2-3 区間演算による多項式の値域の評価について
- 多項式の値域の区間評価について
- 有限要素法用ICCG法の並列化方法 (偏微分方程式の数値解法とその周辺)
- 研究委員会紹介 精度保証付シミュレーション技術研究委員会
- 反復解法による連立一次方程式の数値解の高速精度保証
- 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- SCAN2006の報告
- 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- 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)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法