A refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems (科学技術計算アルゴリズムの数理的基盤と展開--RIMS研究集会報告集)
スポンサーリンク
概要
著者
関連論文
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,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の場合
- 座談会「応用数理と私」
- 線形受動抵抗回路の解の回路構造に基づいた精度保証について (回路とシステム)
- A-2-27 アフィン演算を用いた非線形方程式の解曲線追跡(A-2.非線形問題,一般講演)
- 精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
- 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
- A-2-2 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 有限次元非線形方程式の全解探索アルゴリズム
- パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
- A-2-7 非線形方程式の解の非存在の厳密な数値的検証法
- 非線形方程式の解の非存在検証法の効率化
- 区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法
- 線形計画法を用いた非線形方程式の解の非存在検証法
- 内点法を用いた非線形方程式の探索領域における解の非存在判定法について
- 最適化手法による非線形方程式の解の非存在性の数値的検証法
- 高分子溶液の多相平衡に関する非線形方程式の全解探索
- 有理数演算を用いたパラメータ依存非線形方程式の解の区間反復改良
- 円形複素領域を用いた非線形方程式の解の精度保証付き数値計算
- 非線形方程式の複素数解の精度保証付き数値計算
- 非線形常微分方程式の近似的特異解の精度保証付き数値計算
- 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- パラメータ依存非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- 精度保証付き数値計算法を用いた非線形方程式の解曲線の存在検証法
- 化学平衡系の非線形方程式の精度保証付き数値計算
- 非線形方程式の近似的特異解とその数値的存在検証法(科学技術における数値計算の理論と応用II)
- 非線形方程式の特異解の精度保証付数値計算について II
- 数理計画法に基づいた非線形方程式の解の非存在の数値的検証法
- 区分線形系微分方程式の周期解と分岐点の精度保証について
- ある分岐点の精度保証つき数値計算法
- 非線形方程式の特異解の精度保証付数値計算について
- 線形計画法を用いた非線形方程式の精度保証つき全解探索
- 線形計画法を用いた非線形方程式の精度保証付き全解探索
- 精度保証付数値計算法を用いた非線形方程式の解曲線の存在検証法
- 非線形方程式の近似的特異解とその数値的存在検証法
- 非線形方程式の複素数解の精度保証付数値計算
- 境界値問題の折り返し点の数値的存在検証法
- Krawczyk法を用いた一パラメータ依存常微分方程式の解追跡
- C++による精度保証付き数値計算システム
- 有限次元非線形方程式の全解探索アルゴリズム(数値計算における品質保証とその応用 : 感度解析から証明まで)
- 非線形方程式の解曲線追跡のための一手法
- 有理数演算による非線形方程式の近似解の精度保証 : 有理数演算による精度保証付き広義ニュートン法(非線形問題の数値解析)
- 非線形楕円型偏微分方程式の精度保証法(一般)
- 非線形楕円型偏微分方程式の精度保証法(一般)
- 2-1 IEEE/ACM Computing Curricula 2001などの情報通信系標準カリキュラム : 2003年度発足の早稲田大学理工学部コンピュータ・ネットワーク工学科カリキュラムを例として(2.カリキュラム)(グローバル化時代の教育と研究)
- Sobolevノルムによる非線形常微分方程式の解の存在検証法
- 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
- A-2-27 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- 精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法
- L_2ノルム評価による常微分方程式の解の存在検証法
- 無限行列を用いた常微分方程式の解の存在検証法
- 区間Newton法を用いた非線形常微分方程式の解の数値的存在検証法
- 非線形作用素方程式の解の存在検証法
- 区分関数を用いた非線形常微分方程式の境界値問題における精度保証
- 非線形常微分方程式の境界値問題における精度保証の自動化
- 区分線形系微分方程式の周期解と分岐点の精度保証について
- 精度保証付き数値計算を用いた常微分方程式の近似解の任意精度反復改良
- 精度保証付き数値計算を用いた常微分方程式の近似解の反復改良法
- 精度保証付き数値計算を用いた常微分方程式の近似解の区間反復法
- 線形受動抵抗回路の解の精度保証について
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
- メッシュデータの集合演算による曲面形状の近似処理
- 基礎・境界ソサイエティの活性化の一活動 : ICFS 2002の活動計画
- Duffing型方程式の不規則遷移振動に関する数値解析 (確定系における不規則現象と力学系理論)
- 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法