コレクションホームページ

1147 精度保証付き数値計算法とその周辺   16
(http://hdl.handle.net/2433/63097)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 16 / 16
書誌情報ファイル
表紙・目次
   (2000-04)
  数理解析研究所講究録, 1147
file type icon
多項式のゼロ点の精度と計算方法 (精度保証付き数値計算法とその周辺)
  五十嵐, 正夫 (2000-04)
  数理解析研究所講究録, 1147: 1-4
file type icon
高速精度保証付き数値計算 (精度保証付き数値計算法とその周辺)
  大石, 進一 (2000-04)
  数理解析研究所講究録, 1147: 5-15
file type icon
解析関数の因子を求める方法とその精度保証 (精度保証付き数値計算法とその周辺)
  桜井, 鉄也; 杉浦, 洋 (2000-04)
  数理解析研究所講究録, 1147: 16-27
file type icon
準周期的Duffing方程式の解の存在と一意性および近似解の精度保証について (精度保証付き数値計算法とその周辺)
  Shinohara, Yoshitane; Imai, Hitoshi; Takeuchi, Toshiki; Kagenishi, Yoshiteru (2000-04)
  数理解析研究所講究録, 1147: 28-31
file type icon
Superconvergence and Nonsuperconvergence of the Shortley-Weller Approximation for Dirichlet Problems (Self-validating numerical methods and related topics)
  Yamamoto, Tetsuro; Fang, Qing; Chen, Xiaojun (2000-04)
  数理解析研究所講究録, 1147: 32-41
file type icon
Infinite Precision Numerical Simulation for PDE systems and Its Applications (Self-validating numerical methods and related topics)
  Imai, Hitoshi; Takeuchi, Toshiki; Sakaguchi, Hideo (2000-04)
  数理解析研究所講究録, 1147: 42-50
file type icon
不確かさを含む制御系の解析・設計のための値集合の高精度な推定法 (精度保証付き数値計算法とその周辺)
  太田, 有三 (2000-04)
  数理解析研究所講究録, 1147: 51-66
file type icon
Numerical Validation of Solutions of Nonlinear Complementarity Problems (Self-validating numerical methods and related topics)
  Alefeld, G.E.; Chen, Xiaojun; Potra, F.A. (2000-04)
  数理解析研究所講究録, 1147: 67-77
file type icon
割引マルコフ決定過程におけるしきい値確率の精度保証付き数値計算について (精度保証付き数値計算法とその周辺)
  豊永, 憲治 (2000-04)
  数理解析研究所講究録, 1147: 78-87
file type icon
非可換調和振動子に関するcoupling型固有値問題の精度保証について (精度保証付き数値計算法とその周辺)
  長藤, かおり; 中尾, 充宏; 若山, 正人 (2000-04)
  数理解析研究所講究録, 1147: 88-97
file type icon
BiCG法系列の反復法の初期シャドウ(Shadow)残差ベクトルの選択について (精度保証付き数値計算法とその周辺)
  藤野, 清次; 阿部, 邦美 (2000-04)
  数理解析研究所講究録, 1147: 98-106
file type icon
半線形発展方程式に対する解の数値的検証法 (精度保証付き数値計算法とその周辺)
  皆本, 晃弥 (2000-04)
  数理解析研究所講究録, 1147: 107-120
file type icon
Finding All Solutions of Nonlinear Equations Using the Dual Simplex Method (Self-validating numerical methods and related topics)
  Yamamura, Kiyotaka; Tanaka, Shigeru (2000-04)
  数理解析研究所講究録, 1147: 121-126
file type icon
対称行列の固有値に対する簡便な精度保証法とその実装 (精度保証付き数値計算法とその周辺)
  山本, 野人 (2000-04)
  数理解析研究所講究録, 1147: 127-131
file type icon
Rayleigh-Benard対流の定常解に対する精度保証付き数値計算 (精度保証付き数値計算法とその周辺)
  渡部, 善隆; 中尾, 充宏; 山本, 野人; 西田, 孝明 (2000-04)
  数理解析研究所講究録, 1147: 132-136
file type icon
文献一覧(目次の昇順ソート): 1 - 16 / 16