• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

精度保証付き数値計算学の確立

研究課題

研究課題/領域番号 17002012
研究種目

特別推進研究

配分区分補助金
審査区分 理工系
工学
研究機関早稲田大学

研究代表者

大石 進一  早稲田大学, 理工学術院, 教授 (20139512)

研究分担者 渡部 善隆  九州大学, 数理(科)学研究科(研究院), 助教授 (90243972)
西田 孝明  早稲田大学, 理工学術院, 教授 (70026110)
柴田 良弘  早稲田大学, 理工学術院, 教授 (50114088)
山本 野人  電気通信大学, 電気通信学部, 教授 (30210545)
中尾 充宏  九州大学, 数理学研究院, 教授 (10136418)
連携研究者 中尾 充宏  九州大学, 数理学研究院, 教授 (10136418)
西田 孝明  早稲田大学, 理工学術院, 教授 (70026110)
柴田 良弘  早稲田大学, 理工学術院, 教授 (50114088)
山本 野人  電気通信大学, 電気通信学部, 教授 (30210545)
渡部 善隆  九州大学, 情報基盤研究開発センター, 准教授 (90243972)
研究期間 (年度) 2005 – 2009
研究課題ステータス 完了 (2009年度)
配分額 *注記
428,610千円 (直接経費: 329,700千円、間接経費: 98,910千円)
2009年度: 73,580千円 (直接経費: 56,600千円、間接経費: 16,980千円)
2008年度: 73,580千円 (直接経費: 56,600千円、間接経費: 16,980千円)
2007年度: 105,560千円 (直接経費: 81,200千円、間接経費: 24,360千円)
2006年度: 100,230千円 (直接経費: 77,100千円、間接経費: 23,130千円)
2005年度: 75,660千円 (直接経費: 58,200千円、間接経費: 17,460千円)
キーワード数値解析 / 数値計算 / 非線形方程式 / 情報数理 / アルゴリズム
研究概要

偏微分方程式や線型方程式等において,計算機を用いて数値的に得られた近似解に対し,その誤差限界も定量的に計算機で与える精度保証付き数値計算の研究を推進した.ベクトルの総和や内積を計算する問題は科学技術計算の基本であるが,この問題に対して精度が数学的厳密に保証された結果を返す世界最高速のアルゴリズムを開発した.このアルゴリズムは,応用として,スパース行列に関する計算や計算幾何学にも波及した.また,偏微分方程式の解の存在証明,一意性の証明及び近似解の精度保証を行う多くの有用な方式を開発することに成功した.

報告書

(9件)
  • 2015 研究概要(追跡評価) ( PDF )   自己評価書(追跡評価) ( PDF )   評価の所見(追跡評価) ( PDF )
  • 2009 実績報告書   研究成果報告書 ( PDF )
  • 2008 実績報告書
  • 2007 実績報告書
  • 2006 実績報告書
  • 2005 実績報告書
  • 研究成果

    (315件)

すべて 2010 2009 2008 2007 2006 2005 その他

すべて 雑誌論文 (135件) (うち査読あり 82件) 学会発表 (178件) 図書 (2件)

  • [雑誌論文] Fast Verified Solutions of Linear Systems2009

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 169-190

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Adaptive and Efficient Algorithm for 2D Orientation Problem2009

    • 著者名/発表者名
      K. Ozaki, T. Ogita, S.M. Rump, S. Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 215-231

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Iterative Refinement for Ill-conditioned Linear Systems2009

    • 著者名/発表者名
      S. Oishi, T. Ogita, S.M. Rump
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 465-476

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations2009

    • 著者名/発表者名
      Y. Nakaya, T. Nishi, S. Oishi, M. Claus
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 327-336

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] An Application of Taylor Models to the Nakao Method on ODEs2009

    • 著者名/発表者名
      N. Yamamoto, T. Komori
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 365-392

    • NAID

      10028169196

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to2009

    • 著者名/発表者名
      Y. Watanabe, M.T. Nakao
    • 雑誌名

      the Rayleigh-Be'nard Problem, Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 443-463

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009

    • 著者名/発表者名
      Y. Watanabe
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 233-247

    • NAID

      10028168961

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2009

    • 著者名/発表者名
      M.T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M. Kim
    • 雑誌名

      Journal of Scientific Computing 10

      ページ: 1-18

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Pattern formations in heat convection problems, Chinese Annals of Mathematics2009

    • 著者名/発表者名
      T. Nishida, Y. Teramoto
    • 雑誌名

      Ser. B 30:6

      ページ: 769-784

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Bifurcation theorems for the model system of Benard-Marangoni convection2009

    • 著者名/発表者名
      T. Nishida, Y. Teramoto
    • 雑誌名

      Journal of Mathematical Fluid Mechanics 11:3

      ページ: 383-406

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] On a resolvent estimate of the Stokes system in a half-space arising from a free boundary problem for the Navier-Stokes equations2009

    • 著者名/発表者名
      Y. Shibata, S. Shimizu
    • 雑誌名

      Math. Nachr 282:3

      ページ: 482-499

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] On the L2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator2009

    • 著者名/発表者名
      T. Kinoshita, K. Hashimoto, M.T. Nakao
    • 雑誌名

      Numerical Functional Analysis and Optimization 30

      ページ: 289-305

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Tight Enclosures of Solutions of Linear Systems2009

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 雑誌名

      International Series of Numerical Mathematics 157

      ページ: 167-178

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Pattern formations in heat convection problems2009

    • 著者名/発表者名
      Takaaki Nishida
    • 雑誌名

      Chinese Annals of Mathematics, Ser.B 30(6)

      ページ: 769-784

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Bifurcation theorems for the model system of Benard-Marangoni convection2009

    • 著者名/発表者名
      Takaaki Nishida
    • 雑誌名

      Journal of Mathematical Fluid Mechanics 11(3)

      ページ: 383-406

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A Fast Verified Automatic Integration Algorithm using Double Exponential Formula2009

    • 著者名/発表者名
      Naoya Yamanaka
    • 雑誌名

      数理解析研究所講究録 1638

      ページ: 146-158

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] Fast Verified Solutions of Linear Systems2009

    • 著者名/発表者名
      Takeshi Ogita
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Iterative Refinement for Ill-conditioned Linear Systems2009

    • 著者名/発表者名
      Shin'ichi Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Adaptive and Efficient Algorithm for 2D Orientation Problem2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Tight Enclosures of Solutions of Linear Systems2009

    • 著者名/発表者名
      Takeshi Ogita
    • 雑誌名

      International Series of Numerical Mathematics 157

      ページ: 167-178

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Numerical Verification of Five Solutions in Two-transistor Circuits2009

    • 著者名/発表者名
      Yusuke Nakaya
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Numerical Inclusion of Optimum Point for Linear Programming2009

    • 著者名/発表者名
      Shin'ichi Oishi
    • 雑誌名

      JSIAM Letters 1

      ページ: 5-8

    • NAID

      110007114419

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-B'enard problems2009

    • 著者名/発表者名
      M.-N. Kim
    • 雑誌名

      Numerische Mathematik 111

      ページ: 389-406

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A computer-assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow2009

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 雑誌名

      Z. Angew. Math. Mech. 89

      ページ: 5-18

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 雑誌名

      Journal of Computational and Applied Mathematics 223

      ページ: 953-966

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] On a resolvent estimate of the Stokes system in a half-space arising from a free boundary problem for the Navier-Stokes equations2009

    • 著者名/発表者名
      Yoshihiro Shibata
    • 雑誌名

      Math. Nachr. 282

      ページ: 482-499

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A Parallel Algorithm for Accurate Dot Product2008

    • 著者名/発表者名
      N. Yamanaka, T. Ogita, S.M. Rump, S. Oishi
    • 雑誌名

      Parallel Computing 34:6-8

      ページ: 392-410

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Accurate Floating-Point Summation Part I: Faithful Rounding2008

    • 著者名/発表者名
      S.M. Rump, T. Ogita, S. Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 31:1

      ページ: 189-224

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Accurate Floating-Point Summation Part II: Sign2008

    • 著者名/発表者名
      S.M. Rump, T. Ogita, S. Oishi
    • 雑誌名

      K-fold Faithful and Rounding to Nearest, SIAM Journal on Scientific Computing 31:2

      ページ: 1269-1302

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Guaranteed error bounds of finite element approximations for non-coercive elliptic problems and its applications2008

    • 著者名/発表者名
      M.T. Nakao, K. Hashimoto
    • 雑誌名

      Journal of Computational and Applied Mathematics 218:1

      ページ: 106-115

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] On the Oseen semigroup with rotating effect, Functional Analysis and Evolution Equations2008

    • 著者名/発表者名
      Y. Shibata, H. Amann, W. Arendt, M. Hieber, F., Neubrander, S. Nicaise, J. von Below (eds)
    • 雑誌名

      The Gunter Lumer Volume

      ページ: 595-611

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2008

    • 著者名/発表者名
      M. Kim, M.T. Nakao, Y. Watanabe, T. Nishida
    • 雑誌名

      Numerische Mathematik 111

      ページ: 389-406

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Accurate Floating-Point Summation Part II : Sign, K-fold Faithful and Rounding to Nearest2008

    • 著者名/発表者名
      Siegfried M. Rump
    • 雑誌名

      SIAM Journal on Scientific Computing 31:2

      ページ: 1269-1302

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Accurate Floating-Point Summation Part I : Faithful Rounding2008

    • 著者名/発表者名
      Siegfried M. Rump
    • 雑誌名

      SIAM Journal on Scientific Computing 31:1

      ページ: 189-224

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A Parallel Algorithm for Accurate Dot Product2008

    • 著者名/発表者名
      Naoya Yamanaka
    • 雑誌名

      Parallel Computing 34 : 6-8

      ページ: 392-410

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Global Convergence of SMO Algorithm for Support Vector Machine2008

    • 著者名/発表者名
      Norikazu Takahashi
    • 雑誌名

      IEEE Trans. on Neural Networks 19

      ページ: 971-982

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A computational approach to constructive a priori and aposteriori error estimates for finite element approximations of bi-harmonic problems2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications 28

      ページ: 139-148

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 218

      ページ: 106-115

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Some remarks on the behaviour of'the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 雑誌名

      Applied Mathematics Letters 21

      ページ: 1310-1314

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] On the Oseen semigroup with rotating effect2008

    • 著者名/発表者名
      Yoshihiro Shibata
    • 雑誌名

      Functional Analysis and Evolution Equations

      ページ: 595-611

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] On the Lp-Lq maximal regularity of the Neumann problem for the Stokes equations in a bounded domain2008

    • 著者名/発表者名
      Yoshihiro Shibata
    • 雑誌名

      J. Reine Angew. Math 615

      ページ: 157-209

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A stability theorem of the Navier-Stokes flow past a rotating body2008

    • 著者名/発表者名
      Yoshihiro Shibata
    • 雑誌名

      Banach center publication 81

      ページ: 441-455

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Iterative Refinement for Ill-Conditioned Linear Equations2008

    • 著者名/発表者名
      Shinichi Oishi
    • 雑誌名

      Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications

      ページ: 516-519

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Accurate Matrix Multiplication by Using Level 3 BLAS Operation2008

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 雑誌名

      Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications

      ページ: 508-511

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Fast Verified Automatic Integration Algorithm Using Complex Analysis2008

    • 著者名/発表者名
      Naoya Yamanaka
    • 雑誌名

      Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications

      ページ: 512-515

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A Method for the Generation of a Class of Ill-Conditioned Matrices2008

    • 著者名/発表者名
      Tetsuo Nishi
    • 雑誌名

      Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications

      ページ: 53-56

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Numerical Verification of Optimum Point in Linear Programming2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 雑誌名

      Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications

      ページ: 676-679

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] 大規模疎行列の正定値性の保証法2008

    • 著者名/発表者名
      荻田武史
    • 雑誌名

      京大数理解析研究所講究録 1614

      ページ: 34-39

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] 点と直線の位置関係の計算をロバストに行う点と平面の位置関係の精度保証法2008

    • 著者名/発表者名
      尾崎克久
    • 雑誌名

      京大数理解析研究所講究録 1614

      ページ: 1-10

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] 並行Poiseuille流れの不安定性に対する計算機援用証明2008

    • 著者名/発表者名
      渡部善隆
    • 雑誌名

      京大数理解析研究所講究録 1614

      ページ: 11-19

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] Discretization principles for linear two-point boundary value problems2008

    • 著者名/発表者名
      T. Yamamoto, S.Oishi and Q.Fang
    • 雑誌名

      Numer. Funct. Anal. Optimz. 29

      ページ: 213-224

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] A Method of Obtaining Verified Solutions for Linear Systems Suited for Java2007

    • 著者名/発表者名
      K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S.M. Rump
    • 雑誌名

      Journal of Computational and Applied Mathematics 199:2

      ページ: 337-344

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Convergence of Rump's Method for Inverting Arbitrarily Ill-conditioned Matrices2007

    • 著者名/発表者名
      S. Oishi, K. Tanabe, T. Ogita, S.M. Rump
    • 雑誌名

      Journal of Computational and Applied Mathematics 205:1

      ページ: 533-544

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      K. Nagatou, K. Hashimoto, M.T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 424-431

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • 著者名/発表者名
      T. Minamoto, M.T. Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 202

      ページ: 177-185

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Decay properties of the Stokes semigroup in exterior domains with Neumann condition2007

    • 著者名/発表者名
      Y. Shibata, S. Shimizu
    • 雑誌名

      Journal of the Mathematical Society of Japan 59

      ページ: 1-35

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Convergence of Rump's Method for Inverting Arbitrarily lll-conditioned Matrices2007

    • 著者名/発表者名
      S.Oishi, K.Tanabe, T.Ogita and S.M.Rump
    • 雑誌名

      Jounal of Computational and Applied Mathematics 205:1

      ページ: 533-544

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] On an Lp approach to the stationary and nonstationary problem of the Ginzburg-Landau-Maxwell equations2007

    • 著者名/発表者名
      T.Akiyama and Y. Shibata
    • 雑誌名

      J.Differential Equations 243

      ページ: 1-23

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Rate of convergence of non-stationary flow to the steady flow of compressible viscous fluid2007

    • 著者名/発表者名
      Y.Shibata and K.Tanaka
    • 雑誌名

      Comput. Math. Appl. 53

      ページ: 605-623

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] On a generalized resolvent estimate for the Stokes system with Robin boundary condition2007

    • 著者名/発表者名
      Y. Shibata and R. Shimada
    • 雑誌名

      J. Math. Soc. Japan 59

      ページ: 469-519

    • NAID

      10019540335

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] On a free boundary problem for the Navier-Stokes equations2007

    • 著者名/発表者名
      Y. Shibata and S. Shimizu
    • 雑誌名

      Diff. Int. Eqns. 20

      ページ: 241-276

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Local energy decay estimate and Lp-Lq estimates of the solutions to Stokes equation with Neumann boundary condition2007

    • 著者名/発表者名
      Y. Shibata and Y. Shimizu
    • 雑誌名

      J. Math. Soc. Japan 59

      ページ: 1-34

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] A Method of Obtaining Verified Solutions for Linear Systems Suited for Java2007

    • 著者名/発表者名
      K.Ozaki, T.Ogita, S.Miyajima, S.Oishi, S.M.Rump
    • 雑誌名

      Journal of Computational and Applied Mathematics 199:2

      ページ: 337-344

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      K.Nagatou, K.Hashimoto, M.T.Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 445-451

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2007

    • 著者名/発表者名
      N.Yamamoto, K.Genma
    • 雑誌名

      J. Comput. Appl. Math. 199

      ページ: 286-296

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Decay properties of the Stokes semigroup in exterior domains with Neumann condition2007

    • 著者名/発表者名
      Y.Shibata, S.Shimizu
    • 雑誌名

      Journal of the Mathematical Society of Janan 59

      ページ: 1-35

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] On a linearized system arising in the study of Benard-Marangoni convection2007

    • 著者名/発表者名
      T.Nishida, Y.Teramoto
    • 雑誌名

      Proc. Intern. Conf. on Navier-Stokes Equations and Applications, Kokyuroku New Series 1, RIMS, Kyoto University

      ページ: 1-16

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems2006

    • 著者名/発表者名
      T. Yamamoto, S. Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 23:1

      ページ: 31-62

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] 実対称行列の各固有対の精度保証付き数値計算法2006

    • 著者名/発表者名
      宮島信也, 荻田武史, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 535-552

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] 点と平面との位置関係を判定する高速かつロバストなアルゴリズム2006

    • 著者名/発表者名
      尾崎克久, 荻田武史, S.M. Rump, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 553-562

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法2006

    • 著者名/発表者名
      大石進一, 荻田武史, 太田貴久
    • 雑誌名

      シミュレーション 25:5

      ページ: 170-178

    • NAID

      110004811928

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] 連立一次方程式のメモリ量を低減した精度保証付き数値計算法2006

    • 著者名/発表者名
      荻田武史, 大石進一
    • 雑誌名

      シミュレーション 25:5

      ページ: 179-184

    • NAID

      110004811929

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] 実対称行列の各固有対の精度保証付き数値計算法2006

    • 著者名/発表者名
      宮島 信也, 荻田 武史, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 535-552

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] 点と平面との位置関係を判定する高速かつロバストなアルゴリズム2006

    • 著者名/発表者名
      尾崎 克久, 荻田 武史, S. M. Rump, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 553-562

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法2006

    • 著者名/発表者名
      大石 進一, 荻田 武史, 太田 貴久
    • 雑誌名

      シミュレーション 25:5

      ページ: 170-178

    • NAID

      110004811928

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] 連立一次方程式のメモリ量を低減した精度保証付き数値計算法2006

    • 著者名/発表者名
      荻田 武史, 大石 進一
    • 雑誌名

      シミュレーション 25:5

      ページ: 179-184

    • NAID

      110004811929

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems2006

    • 著者名/発表者名
      T.Yamamoto, S.Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 23:1

      ページ: 31-62

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Tight Enclosures of Solutions of Linear Systems2006

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Proc. of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM2006)

      ページ: 516-519

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Numerical verification for solutions of finite dimensional sparse linear equations using iterative methods2006

    • 著者名/発表者名
      S.Oishi, T.Ogita, S.M.Rump
    • 雑誌名

      Proc. of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM2006)

      ページ: 520-523

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Accurate Cholesky Algorithm and Detection of Positive Definiteness of Ill-Conditioned Matrices2006

    • 著者名/発表者名
      S.Oishi, T.Ogita, S.M.Rump, K.Tanabe
    • 雑誌名

      Proc. of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM2006)

      ページ: 531-534

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Numerical Verification of Five Solutions in Two-transistor Circuits2006

    • 著者名/発表者名
      Y.Nakaya, S.Oishi, T.Nishi, M.Claus
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 307-310

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Convergence Theorem of Rump's Method for Inverting Arbitrarily Ill-Conditioned Matrices2006

    • 著者名/発表者名
      S.Oishi, K.Tanabe, T.Ogita, S.M.Rump
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 315-318

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Fast Verification for Sparse Linear Systems with Generalized Diagonally Dominant Matrices2006

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 319-321

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Adaptive Verification Method for Dense Linear Systems2006

    • 著者名/発表者名
      K.Ozaki, T.Ogita, S.Oishi
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 323-326

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A Method of Proving Existence of Solution Curve for Nonlinear Equation using Affine Arithmetic2006

    • 著者名/発表者名
      Y.Kanzawa, S.Oishi
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 947-950

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Some computer assisted proofs on three dimensional heat convection problems2006

    • 著者名/発表者名
      M.-N.Kim, M.T.Nakao, Y.Watanabe, T.Nishida
    • 雑誌名

      Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 427-430

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A numerical verification for the Kolmogorov flows of imcompressible viscous fluid2006

    • 著者名/発表者名
      Y.Watanabe
    • 雑誌名

      Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM2006)

      ページ: 535-539

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Globally in time existence theorem for the Navier-Stokes flow in the exterior of a rotating obstacle2006

    • 著者名/発表者名
      T.Hishida, Y.Shibata
    • 雑誌名

      WSEAS Trans. Math. 5

      ページ: 303-307

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Global existence of strong solution to the micropolar fluid system, Hypebolic Problems2006

    • 著者名/発表者名
      Y.Shibata, N.Yamaguchi
    • 雑誌名

      Theory, Numerics and Applications II

      ページ: 305-312

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] On error estimation of finite element approximations to the elliptic equations in nonconvex domains2006

    • 著者名/発表者名
      N.Yamamoto, K.Genma
    • 雑誌名

      Journal of Computational and Applied Mathematics

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 悪条件連立一次方程式の精度保証付き数値計算法2005

    • 著者名/発表者名
      太田貴久, 荻田武史, S.M. Rump, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 15:3

      ページ: 269-287

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Accurate Sum and Dot Product2005

    • 著者名/発表者名
      T. Ogita, S.M. Rump, S. Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 26:6

      ページ: 1955-1988

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] 実対称行列の各固有値に対する精度保証付き数値計算法2005

    • 著者名/発表者名
      宮島信也, 荻田武史, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 15:3

      ページ: 253-268

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] 大規模連立一次方程式のための高速精度保証法2005

    • 著者名/発表者名
      荻田武史, 大石進一
    • 雑誌名

      情報処理学会論文誌:数理モデル化と応用 46

      ページ: 10-18

    • NAID

      110002768708

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] On the Stokes and Navier-Stokes equation in a perturbed half-space Advances2005

    • 著者名/発表者名
      Y. Shibata, T. Kubo
    • 雑誌名

      in Differential Equations 10:6

      ページ: 695-720

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] On the Stokes and Navier-Stokes flows in a perturbed half space2005

    • 著者名/発表者名
      Y. Shibata, T. Kubo
    • 雑誌名

      Regularity and other aspects of the Navier-Stokes equations, Banach Center Publications 70

      ページ: 157-167

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] Hopf bifurcation in viscous incompressible flow down an inclined plane2005

    • 著者名/発表者名
      T. Nishida, Y. Teramoto, H. Yoshihara
    • 雑誌名

      J. Math. Fluid Mechanics Vol.7

      ページ: 29-71

    • 関連する報告書
      2009 研究成果報告書
    • 査読あり
  • [雑誌論文] 実対称行列の各固有値に対する精度保証付き数値計算法2005

    • 著者名/発表者名
      宮島信也, 荻田武史, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.3

      ページ: 253-268

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 悪条件連立一次方程式の精度保証付き数値計算法2005

    • 著者名/発表者名
      太田貴久, 荻田武史, S.M.Rump, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.3

      ページ: 269-287

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Accurate Sum and Dot Product2005

    • 著者名/発表者名
      T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing Vol.26, No.6

      ページ: 1955-1988

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 大規模連立一次方程式のための高速精度保証法2005

    • 著者名/発表者名
      荻田武史, 大石進一
    • 雑誌名

      情報処理学会論文誌:数理モデル化と応用 Vol.46, No.SIG10

      ページ: 10-18

    • NAID

      110002768708

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Fast Inclusion of Interval Matrix Multiplication2005

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Reliable Computing Vo1.11, No.3

      ページ: 191-205

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Numerical Verification of Solutions of Nekrasov's Integral Equation2005

    • 著者名/発表者名
      S.Murashige, S.Oishi
    • 雑誌名

      Computing Vol.75, No.1

      ページ: 15-25

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Numerical Verification Method for Dense Linear Systems with Arbitrarily III-conditioned Matrices2005

    • 著者名/発表者名
      T.Ohta, T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 745-748

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Componentwise Verified Solutions of Linear Systems Suited for Java2005

    • 著者名/発表者名
      K.Ozaki, T.Ogita, S.Miyajima, S.Oishi, S.M.Rump
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 749-752

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A Method of Generating Linear Systems with an Arbitrarily III-conditioned Matrix and an Arbitrary Solution2005

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.Oishi
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 741-744

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Fast Verification for Respective Eigenvalues of Symmetric Matrix2005

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.Oishi
    • 雑誌名

      Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing

      ページ: 306-317

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • 著者名/発表者名
      M.T.Nakao, K Hashimoto, Y.Watanabe
    • 雑誌名

      Computing Vol.75, No.1

      ページ: 1-14

    • NAID

      120000981466

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity2005

    • 著者名/発表者名
      K.Hashimoto, R.Abe, M.T.Nakao, Y.Watanabe
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics Vol.22

      ページ: 111-131

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Numerical Verification Methods of Solutions for the Free Boundary Problems2005

    • 著者名/発表者名
      K.Hashimoto, K.Kobayashi, M.T.Nakao
    • 雑誌名

      Numerical Functional Analysis and Optimization Vol.26, No.4-5

      ページ: 523-542

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] An efficient approach to numerical verification for solutions of elliptic differential equations with local uniaueness (in Japanese)2005

    • 著者名/発表者名
      Y.Watanabe, N.Yamamoto, M.T.Nakao
    • 雑誌名

      Transaction of the Japan Society for Industrial and Applied Mathematics Vol.15, No.4

      ページ: 509-520

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2005

    • 著者名/発表者名
      M.T.Nakao, K.Hashimoto, K.Nagatou
    • 雑誌名

      Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Hopf bifurcation in viscous incompressible flow down an inclined plane2005

    • 著者名/発表者名
      T.Nishida, Y.Teramoto, H.Yoshihara
    • 雑誌名

      Journal of Mathematical Fluid Mechanics Vol.7, No.1

      ページ: 29-71

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] On some properties of solutions to the Stokes equation in the half-space and perturbed half-space2005

    • 著者名/発表者名
      T.Kubo, Y.Shibata
    • 雑誌名

      Equation of Mathematical Physics in Quaderni in Matematica, series (edited by Dept.Math.II.Univ.di Napoli) Vol.15

      ページ: 138-217

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] On the Stokes and Navier-Stokes eauations in a perturbed half-space2005

    • 著者名/発表者名
      T.Kubo, Y.Shibata
    • 雑誌名

      Advances in Differential Equations Vol.10, No.6

      ページ: 695-720

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] On the rate of decay of the Oseen semigroup in exterior domains and its application to Navier-Stokes equation2005

    • 著者名/発表者名
      Y.Enomoto, Y.Shibata
    • 雑誌名

      Journal of Mathematical Fluid Mechanics Vol.7, Vol.3

      ページ: 339-367

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] On the Stokes equation with Neumann boundary condition2005

    • 著者名/発表者名
      Y.Shibata, S.Shimizu
    • 雑誌名

      Banach Center Publications Vol.70

      ページ: 239-250

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] On the Stokes and Navier-Stokes flows in a perturbed half space2005

    • 著者名/発表者名
      T.Kubo, Y.Shibata
    • 雑誌名

      Banach Center Publications Vol.70

      ページ: 157-167

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Lp-Lq maximal regularity and viscous incompressible flows with free surface2005

    • 著者名/発表者名
      Y.Shibata, S.Shimizu
    • 雑誌名

      Proceedings of the Japan Academy Ser.A Mathematical Sciences Vol.81, No.9

      ページ: 151-155

    • NAID

      40007140161

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Uniform estimates in the velocity at infinity for stationary solutions to the Navier-Stokes exterior problem2005

    • 著者名/発表者名
      Y.Shibata, M.Yamazaki
    • 雑誌名

      Japanese Journal of Mathematics Vol.31, No.2

      ページ: 225-279

    • NAID

      10020427306

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 多倍長演算を利用したBessel関数の精度保証付き数値計算2005

    • 著者名/発表者名
      山本野人, 松田望
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.3

      ページ: 347-359

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • 著者名/発表者名
      渡部善隆, 山本野人, 中尾充宏
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.4

    • NAID

      110002976854

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problem

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      Reliable Computing (掲載確定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] On the L2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator

    • 著者名/発表者名
      Takehiko Kinoshita
    • 雑誌名

      Numerical Functional Analysis and Optimization (掲載確定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Lp-Lq estimate of the Stokes operator and the Navier- Stokes flows in the exterior of a rotating obstacle

    • 著者名/発表者名
      Toshiaki Hishida
    • 雑誌名

      Arch. Rational Mech. Anal (掲載確定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] On the Lp analytic semigroup associated with the linear thermoelastic plate equations in the half-space

    • 著者名/発表者名
      Yuka Naito
    • 雑誌名

      J. Math. Soc. (掲載確定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Global solutions to the Navier-Stokes equations with Coriolis force

    • 著者名/発表者名
      Matthias Hieber
    • 雑誌名

      Math. Z (掲載確定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Local energy decay estimate of solutions to the thermoelastic plate equations in two- and three-dimensional exterior domains

    • 著者名/発表者名
      Robert Denk
    • 雑誌名

      Zeitschrift fuer Analysis and Anwendungen (掲載確定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Lp theory for the linear thermoelastic plate equations n bounded and exterior domains

    • 著者名/発表者名
      Robert Denk
    • 雑誌名

      Advances in Differential Equations (掲載確定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Tight Encolsures of Solutions of Linear Systems

    • 著者名/発表者名
      T.Ogita and S.Oishi
    • 雑誌名

      International Series of Numerical Mathematics

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] A Parallel Algorithm for Accurate Dot Product

    • 著者名/発表者名
      N.Yamanaka, T.Ogita, S.M.Rump and S.Oishi
    • 雑誌名

      Parallel Computing

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Lp-Lq estimate of the Stokes operator and the Navier-Stokes flows in the exterior of a rotating obstacle

    • 著者名/発表者名
      T. Hishida and Y. Shibata
    • 雑誌名

      Arch. Rational Mech. Anal

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] On the Lp-Lq maximal regularity of the Neumann problem for the Stokes equations in a bounded domain

    • 著者名/発表者名
      Y. Shibata and S. Shimizu
    • 雑誌名

      J. Reine Angew. Math.

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] On a resolvent estimate of the Stokes system in a half-space arising from a free boundary problem for the Navier-Stokes equations

    • 著者名/発表者名
      Y. Shibata and Y. Shimizu
    • 雑誌名

      Mathematische Nachrichten

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] On an Lp approach to the stationary and non-stationary problems of the Ginzburg-Landau-Maxwell equations

    • 著者名/発表者名
      Y.Shibata, T.Akiyama
    • 雑誌名

      Journal of Differential Equations (to appear)

    • 関連する報告書
      2005 実績報告書
  • [学会発表] Computer assisted proofs for partial differential equations2010

    • 著者名/発表者名
      Kaori Nagatou
    • 学会等名
      Seminar at University of Kent
    • 発表場所
      University of Kent
    • 年月日
      2010-03-31
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 常微分方程式の精度保証付き計算の技法と利用法2010

    • 著者名/発表者名
      山本野人
    • 学会等名
      天体力学n体力学研究会
    • 発表場所
      千葉大学
    • 年月日
      2010-03-19
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] 常微分方程式の精度保証付き計算の技法と利用法2010

    • 著者名/発表者名
      山本野人
    • 学会等名
      天体力学N体力学研究会・ちばN体2010
    • 発表場所
      千葉大学
    • 年月日
      2010-03-19
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Numerical Existence Theorem for Semilinear Elliptic Boundary Value Problems I2010

    • 著者名/発表者名
      大石進一
    • 学会等名
      2010 International Workshop on Numerical Verification and its Applications(INVA2010)
    • 発表場所
      Hachijo-jima, Japan
    • 年月日
      2010-03-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Numerical Existence Theorem for Semilinear Elhptic Boundary Value Problems II2010

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      2010 International Workshop on Numerical Verification and its Applications(INVA2010)
    • 発表場所
      Hachijo-jima, Japan
    • 年月日
      2010-03-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010

    • 著者名/発表者名
      Watanabe
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2010(LNVA2010)
    • 発表場所
      Hachijyo-jima, Japan
    • 年月日
      2010-03-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Topics of two-dimensional orientation problem, floating-point filters, robust computations and applications to convex hull2010

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2010(INVA2010)
    • 発表場所
      Hachijo-jima, Japan
    • 年月日
      2010-03-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 境界要素法を用いた線形二点境界値問題の精度保証付き数値計算法2010

    • 著者名/発表者名
      山中脩也
    • 学会等名
      日本応用数理学会2010年研究部会連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Sturm-Liouville型2点境界値問題の精度保証付き数値計算2010

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2010年研究部会連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 非線形楕円型偏微分方程式の精度保証II2010

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2010年研究部会連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 非線形楕円型偏微分方程式の精度保証I2010

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本応用数理学会2010年研究部会連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Legendre多項式を用いた高精度品質保証-およびその課題-2010

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      日本応用数理学会2010年研究部会連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] ODEに対する精度保証プログラム生成の半自動化について2010

    • 著者名/発表者名
      宇川隆詞
    • 学会等名
      日本応用数理学会2010年研究部会連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 高速かつ支配的な半径を考慮した実区間行列の積について2010

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      日本応用数理学会2010年研究部会連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] A priori inverse operator estimation for guaranteed error estimate2010

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      4th Workshop on Reliable Engineering Computing(REC2010) "Robust Design-Coping with Hazards, Risk and Uncertainty"
    • 発表場所
      Hotel Furama Riverfront, Singapore
    • 年月日
      2010-03-05
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Exact 2D Convex Hull for Floating-point data2010

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      4th Workshop on Reliable Engineering Computing(REC2010) "Robust Design-Coping with Hazards, Risk and Uncertainty"
    • 発表場所
      Hotel Furama Riverfront, Singapore
    • 年月日
      2010-03-04
    • 関連する報告書
      2009 実績報告書
  • [学会発表] A Verified Automatic Contour Integration Algorithm2010

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      4th Workshop on Reliable Engineering Computing(REC2010) "Robust Design-Coping with Hazards, Risk and Uncertainty"
    • 発表場所
      Hotel Furama Riverfront, Singapore
    • 年月日
      2010-03-03
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 点と直線の位置関係の判定問題に関するフィルターに関する考察2010

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      応用数理に関する愛媛ワークショップ
    • 発表場所
      愛媛大学
    • 年月日
      2010-02-21
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 多倍長演算の精度保証について2009

    • 著者名/発表者名
      松田望
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2009-12-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法II2009

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      応用数学合同研究集会
    • 発表場所
      龍谷大学
    • 年月日
      2009-12-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 無限次元固有値問題に対する固有値の非存在証明2009

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      数値解析と数値計算アルゴリズムの最近の展開
    • 発表場所
      京大会館
    • 年月日
      2009-12-16
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 線形2点境界値問題の有限要素解に対する精度保証付き数値計算法2009

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      京都大学数理解析研究所RIMS研究集会
    • 発表場所
      京大会館
    • 年月日
      2009-12-15
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Numerical Verification Method for Nonlinear Differential Equations2009

    • 著者名/発表者名
      大石進一
    • 学会等名
      The Joint Conferenee of ASCM2009 and MACIS2009
    • 発表場所
      JAL Resort Sea Hawk Hotel, Fukuoka, Japan
    • 年月日
      2009-12-15
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 'Construction of an automatic validated computation for boundary value problems of ODEs'2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      The Joint Conference of ASCM2009 and MACIS2009
    • 発表場所
      九州大学
    • 年月日
      2009-12-15
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 2次元の凸包に関する精度保証付き数値計算2009

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      第3回63号館HRCシンポジウム「材料・デバイス・システム連携と次世代通信社会」
    • 発表場所
      早稲田大学
    • 年月日
      2009-12-12
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 計算幾何学のエラーフリーアルゴリズム2009

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      日本応用数理学会3部会連携応用数理セミナー
    • 発表場所
      国立情報学研究所
    • 年月日
      2009-12-07
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証2009

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信-
    • 発表場所
      公立はこだて未来大学
    • 年月日
      2009-11-22
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Error-Free Transformation of Matrix Multiplication and its related topics2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      Computer-assisted Proofs-Tools, Methods and Applications, Dagstuhl Seminar
    • 発表場所
      Dagstuhl, Germany
    • 年月日
      2009-11-19
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 非線形関数方程式の精度保証付き数値計算2009

    • 著者名/発表者名
      大石進一
    • 学会等名
      非線形問題研究会(NLP)
    • 発表場所
      屋久島環境文化村センター,鹿児島
    • 年月日
      2009-11-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 'On Validated Computation with Multipleprecision Arithmetic'2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      Taiwan-Japan Joint Seminar
    • 発表場所
      台湾大学、中華民国、台北
    • 年月日
      2009-11-07
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 精度保証付き数値計算と多倍長演算2009

    • 著者名/発表者名
      山本野人
    • 学会等名
      デジタル解析学セミナー
    • 発表場所
      早稲田大学
    • 年月日
      2009-10-19
    • 関連する報告書
      2009 実績報告書 2009 研究成果報告書
  • [学会発表] Multiple Floating-point Matrix Multiplication by Level 3 Operations2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      2009 International Symposium on Nonlinear Theory and its ApPlications(NOLTA2009)
    • 発表場所
      Sapporo, Japan
    • 年月日
      2009-10-19
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Accurate and Robust Inverse Cholesky Factorization2009

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      2009 International Symposium on Nonlnear Theory and its Applications(NOLTA2009)
    • 発表場所
      Sapporo, Japan
    • 年月日
      2009-10-19
    • 関連する報告書
      2009 実績報告書
  • [学会発表] A Verified Automatic Repeated Integration Algorithm based on Double Exponential Formula2009

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      2009 International Symposium on Nonlinear Theory and its Applications(NOLTA2009)
    • 発表場所
      Sapporo, Japan
    • 年月日
      2009-10-19
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Guaranteed error estimate for solutions to two-point boundary value problem2009

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      2009 International Symposium on Nonlinear Theory and its Applications(NOLTA2009)
    • 発表場所
      Hokkaido, Japan
    • 年月日
      2009-10-19
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Guaranteed error estimate for solutions to linear two-point boundary value problems with FEM2009

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      ASIA SIMULATLON CONFERENCE 2009
    • 発表場所
      Ritsumeikan University
    • 年月日
      2009-10-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Robustness Problems and Verified Computations for Computational Geometry2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      ASLA SIMULATLON CONIFERENCE 2009
    • 発表場所
      Ritsumeikan University
    • 年月日
      2009-10-07
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 非線形2点境界値問題の精度保証付き数値計算法2009

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2009年度年会
    • 発表場所
      大阪大学
    • 年月日
      2009-09-30
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 凸包の構成に対する精度保証付き数値計算の利用2009

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      日本応用数理学会2009年度年会
    • 発表場所
      大阪大学
    • 年月日
      2009-09-30
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Level 3 BLASを用いた4倍精度の行列積について2009

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      日本応用数理学会2009年度年会
    • 発表場所
      大阪大学
    • 年月日
      2009-09-30
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Orr-Sommerfeld方程式の複素固有値の除外に対する計算機援用証明2009

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      日本応用数理学会2009年度年会
    • 発表場所
      大阪大学
    • 年月日
      2009-09-30
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 楕円型作用素の逆作用素の作用素ノルムの評価の改良について2009

    • 著者名/発表者名
      木下武彦
    • 学会等名
      日本応用数理学会2009年度年会
    • 発表場所
      大阪大学
    • 年月日
      2009-09-26
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Spectral problem fbr 3-D photonic crystals2009

    • 著者名/発表者名
      Kaori Nagatou
    • 学会等名
      International Conference on Numerical Analysis and Applied Mathematics 2009(ICNAAM-2009)
    • 発表場所
      Rethymno, Greece.
    • 年月日
      2009-09-21
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Matrix Multiplication with Guaranteed Accuracy by Level 3 BLAS2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      International Conference on Numerical Analysis and Applied Mathematics 2009(ICNAAM-2009)
    • 発表場所
      Rethymno, Greece
    • 年月日
      2009-09-18
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Pattern Formations in Heat Convection Problems2009

    • 著者名/発表者名
      Takaaki Nishida
    • 学会等名
      Mathematical Physics and PDEs
    • 発表場所
      Levico, Italia
    • 年月日
      2009-09-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 熱対流問題の精度保証-計算の品質評価-2009

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      九州大学産業数理研究センター第7回ワークショップ
    • 発表場所
      九州大学
    • 年月日
      2009-09-03
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Fast Filter for Verified Convex Hull and its Performance2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      The 24th International Technical Conference on Circuits/Systems, Computers and Communications(ITC-CSCC 2009)
    • 発表場所
      Jeju Island, Korea
    • 年月日
      2009-07-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] A fast automatic integration algorithm using double exponential formula based on verification theory2009

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      The 24th International Technical Conference on Circuits/Systems, Computers and Communications(ITC-CSCC 2009)
    • 発表場所
      Jeju Island, Korea
    • 年月日
      2009-07-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Numerical verification for solutions to nonlinear two-point boundary value problems with finite element method2009

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      The 24th International Technical Conference on Circuits/Systems, Computers and Communications(ITC-CSCC 2009)
    • 発表場所
      Jeju Island, Korea
    • 年月日
      2009-07-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 線形2点境界値問題の精度保証付き数値計算法2009

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      第38回数値解析シンポジウム
    • 発表場所
      熱川ハイツ,静岡県賀茂郡東伊豆町
    • 年月日
      2009-06-15
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Level 3 BLASを用いた高精度な行列積に対する事前誤差評価2009

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      第38回数値解析シンポジウム
    • 発表場所
      熱川ハイツ,静岡県賀茂郡東伊豆町
    • 年月日
      2009-06-15
    • 関連する報告書
      2009 実績報告書
  • [学会発表] マルチプロセスを用いた連立一次方程式の精度保証法の実装2009

    • 著者名/発表者名
      南畑淳史
    • 学会等名
      第28回日本シミュレーション学会大会
    • 発表場所
      芝浦工業大学
    • 年月日
      2009-06-13
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Accurate Lnverse Cholesky Factorization2009

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference
    • 発表場所
      Bandar Seri Begawan, Brunei Darussalam
    • 年月日
      2009-06-09
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Verified Convex Hull based on Graham's Algorithm2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference
    • 発表場所
      Bandar Seri Begawan, Brunei Darussalam
    • 年月日
      2009-06-09
    • 関連する報告書
      2009 実績報告書
  • [学会発表] A fast automatic integration algorithm using double exponential formula2009

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference
    • 発表場所
      Bandar Seri Begawan, Brunei Darussalam
    • 年月日
      2009-06-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Guaranteed error estimate for solutions to linear two-point boundary value problems2009

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference(EASIAM)
    • 発表場所
      Bandar Seri Begawan, Brunei Darussalam
    • 年月日
      2009-06-08
    • 関連する報告書
      2009 実績報告書
  • [学会発表] A priort error estimation for accurate matrix multiplicatien by using optimized BLAS2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      International Conference on Engineering and Computational Mathematics(ECM2009)
    • 発表場所
      The Hong-Kong Polytechnic University
    • 年月日
      2009-05-29
    • 関連する報告書
      2009 実績報告書
  • [学会発表] An eigenvalue excluding method for the Orr-Sommerfeld problem2009

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 学会等名
      International Conference on Engineering and Computational Mathematics(ECM2009)
    • 発表場所
      The Hong Kong Polytechnic University
    • 年月日
      2009-05-27
    • 関連する報告書
      2009 実績報告書
  • [学会発表] An application of the Lohner method for boundary value problems of O DEs'2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      International Conference on Engineering and Computational Mathematics(ECM2009)
    • 発表場所
      The Hong Kong Polytechnic University
    • 年月日
      2009-05-26
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 計算機援用証明による並行Poiseuille流れの安定性・不安性解析2009

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      九州大学数値解析学セミナー
    • 発表場所
      九州大学
    • 年月日
      2009-04-28
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Maxwell方程式によるナノ領域電磁界計算の精度保証2009

    • 著者名/発表者名
      大石進一
    • 学会等名
      2009年春季第56回応用物理学関係連合講演会(シンポジウム:ナノフォトニクスにおけるナノ加工の最前線と理論基盤)
    • 発表場所
      筑波大学
    • 年月日
      2009-03-30
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Generalized Resolvent Problem for the Stokes System with some First Order Boundary Condition2009

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      日本数学会2009年度年会
    • 発表場所
      東京大学
    • 年月日
      2009-03-29
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Generation of Analytic Semigroup Associated with Stokes System with some First Order Boundary Condition2009

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      日本数学会2009年度年会
    • 発表場所
      東京大学
    • 年月日
      2009-03-29
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Maximal Regularity Theorem for the Stokes System with some First Order Boundary Condition2009

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      日本数学会2009年度年会
    • 発表場所
      東京大学
    • 年月日
      2009-03-29
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A conjecture and its partial proof on a kind of Diophantous equations related to the generation of ill-conditioned matrices2009

    • 著者名/発表者名
      Tetsuo Nishi
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima. Japan
    • 年月日
      2009-03-29
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Extreme Value Decomposition of a Nonnegative Matrix2009

    • 著者名/発表者名
      Kunio Tanabe
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima, Japan
    • 年月日
      2009-03-28
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Guaranteed error estimates for solutions to nonlinear 2 point boundary value problems2009

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima, Japan
    • 年月日
      2009-03-26
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Numerical verification on existence of periodic solutions to ODEs2009

    • 著者名/発表者名
      Nobito Yamamoto
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima, Japan
    • 年月日
      2009-03-26
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A Verified Automatic Multiple Integration Algorithm using Double Exponential Formula2009

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima. Japan
    • 年月日
      2009-03-25
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Convex Hull by Verified Computations2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima. Japan
    • 年月日
      2009-03-25
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Some Applications of Verified Numerical Computations and Error Free Transformations2009

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima. Japan
    • 年月日
      2009-03-25
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow2009

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima, Japan
    • 年月日
      2009-03-24
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Accurate IVP Splver using Affine Arithmetic and Power Series Arithmetic2009

    • 著者名/発表者名
      Masahide Kashiwagi
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima, Japan
    • 年月日
      2009-03-22
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Accurate Matrix Factorization and Applications2009

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima, Japan
    • 年月日
      2009-03-22
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On the numerical verification method of solutions for evolutional equations2009

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      International Workshop on Verified Computations and Related Topics
    • 発表場所
      Karlsruhe. Germany
    • 年月日
      2009-03-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 高精度な行列分解とその応用2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      平成21年応用数理学会,研究部会連合発表会
    • 発表場所
      京都大学
    • 年月日
      2009-03-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 行列式の和を利用した点と直線の位置関係のロバストな判定法について2009

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      平成21年応用数理学会,研究部会連合発表会
    • 発表場所
      京都大学
    • 年月日
      2009-03-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] DE公式を用いた精度保証付き多次元自動積分法2009

    • 著者名/発表者名
      山中脩也
    • 学会等名
      平成21年応用数理学会,研究部会連合発表会
    • 発表場所
      京都大学
    • 年月日
      2009-03-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 2階常微分方程式の非線形2点境界値問題に対する精度保証法2009

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      平成21年応用数理学会,研究部会連合発表会
    • 発表場所
      京都大学
    • 年月日
      2009-03-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Some Applications of Verified Numerical Computations and Error Free Transformations2009

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      International workshop on verified computations and related topics
    • 発表場所
      Karlsruhe, Germany
    • 年月日
      2009-03-08
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 学会等名
      International workshop on verified computations and related topics
    • 発表場所
      Karlsruhe. Germany
    • 年月日
      2009-03-08
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Fast Quasi-Quadruple Precision Computation of Sparse Matrix-Vector Product2009

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      The 4th International Conference on High Performance Scientific Computing
    • 発表場所
      Hanoi. Vietnam
    • 年月日
      2009-03-05
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Parallel and Accurate Matrix Multiplication based on Optimized BLAS2009

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      The 4th International Conference on High Performance Scientific Computing
    • 発表場所
      Hanoi. Vietnam
    • 年月日
      2009-03-05
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 線形抵抗回路の動作点の数値的精度保証法2009

    • 著者名/発表者名
      大石進一
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      ホテルマリックス(宮崎)
    • 年月日
      2009-01-23
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 行列式が1の3次整数行列の一生成法2009

    • 著者名/発表者名
      西哲生
    • 学会等名
      電子情報通信学会回路とシステム研究会
    • 発表場所
      ホテルマリックス(宮崎)
    • 年月日
      2009-01-23
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Pattern formations in heat convection problems2009

    • 著者名/発表者名
      Takaaki Nishida
    • 学会等名
      International Conference on Contemporary Applied Mathematics
    • 発表場所
      復旦大学、上海、中国
    • 年月日
      2009-01-23
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Maximal Regularity for the Stokes System with some First Order Boundary Condition2009

    • 著者名/発表者名
      Yoshihiro Shibata
    • 学会等名
      Workshop on "Analytic Semigroups and related Topics"
    • 発表場所
      東京大学
    • 年月日
      2009-01-15
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Error free transformations of floating point numbers and its applications to constructing error free algorithms2009

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      Symbolic Numeric Computation (SNC 2009)
    • 発表場所
      Kyoto, Japan
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Numerical existence theorem for solutions of fixed point type equations and its applications2009

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      International Conference on Engineering and Computational Mathematics (ECM2009)
    • 発表場所
      The Hong-Kong Polytechnic University, Hong-Kong
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] An eigenvalue excluding method for the Orr-Sommerfeld problem2009

    • 著者名/発表者名
      Y. Watanabe
    • 学会等名
      International Conference on Engineering and Computational Mathematics (ECM2009)
    • 発表場所
      The Hong Kong Polytechnic University, Hong Kong, China
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Navier-Stokes方程式の安定性について2008

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      東北大学大学院理学研究科数学専攻「応用数学セミナー」
    • 発表場所
      東北大学
    • 年月日
      2008-12-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      2008年度応用数学合同研究集会
    • 発表場所
      龍谷大学理工学部
    • 年月日
      2008-12-16
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 線形計画問題の最適解の精度保証2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      石川県文教会館
    • 年月日
      2008-12-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Maximal Regularity for certain Free Boundary Value Problems related to the Navier-Stokes Equations2008

    • 著者名/発表者名
      Yoshihiro Shibata
    • 学会等名
      Damstadt工科大学数学コロキューム
    • 発表場所
      Darmstadt. Germany
    • 年月日
      2008-11-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明2008

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • 発表場所
      KKRホテル金沢
    • 年月日
      2008-11-17
    • 関連する報告書
      2008 実績報告書
  • [学会発表] スペクトル法による境界値問題の高精度数値検証2008

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • 発表場所
      KKRホテル金沢
    • 年月日
      2008-11-17
    • 関連する報告書
      2008 実績報告書
  • [学会発表] DE公式を用いた高速精度保証付き数値積分法の改良2008

    • 著者名/発表者名
      山中脩也
    • 学会等名
      RIMS研究集会数値解析における理論・手法・応用
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2008-11-14
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 精度保証付き数値計算から見たナノ光シミュレーション2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      学振130号委員会
    • 発表場所
      東京理科大学
    • 年月日
      2008-11-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 精度保証付き数値計算の現状-基礎としての線形系から非線形問題の計算機援用証明までのサーベイ2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      研究集会「非線型波動の数理と物理」
    • 発表場所
      九州大学筑波地区総合研究棟
    • 年月日
      2008-11-07
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 浮動小数点数の無誤差変換と精度保証付き数値計算2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      第20回RAMPシンポジウム
    • 発表場所
      東京工業大学西9号館
    • 年月日
      2008-10-30
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 線形受動抵抗回路の解の精度保証について2008

    • 著者名/発表者名
      西哲生
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      石巻専修大学
    • 年月日
      2008-10-14
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Numerical Verification of Optimum Point in Linear Programming2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • 年月日
      2008-10-12
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • 年月日
      2008-10-11
    • 関連する報告書
      2008 実績報告書
  • [学会発表] High Precision and Efficient Computation of Sparse Matrix-Vector Product2008

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • 年月日
      2008-10-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A Robust Algorithm for Geometric Predicate by Sum of Determinants2008

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • 年月日
      2008-10-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Fast Verified Automatic Integration Algorithm Over Finite Interval2008

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon. Korea
    • 年月日
      2008-10-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Fast Verified Automatic Integration Using Double Exponential Formula2008

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      El Paso, USA
    • 年月日
      2008-10-01
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Accurate and Fast Sum of Floating Point Numbers and Applications to Verification Algorithms2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      El Paso, USA
    • 年月日
      2008-10-01
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Tight inclusion of matrix multiplication and its portable implementation2008

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      El Paso, USA
    • 年月日
      2008-09-30
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Validated computations for elliptic systems of FitzHugh-Nagumo type2008

    • 著者名/発表者名
      Kaori Nagatou
    • 学会等名
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      El Paso, USA
    • 年月日
      2008-09-30
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Constructive a priori and a posteriori error estimates for bi-harmonic problems2008

    • 著者名/発表者名
      Koji Hashimoto
    • 学会等名
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      El Paso, USA
    • 年月日
      2008-09-30
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Verified Numerical Computation of Matrix Determinant2008

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      El Paso, USA
    • 年月日
      2008-09-29
    • 関連する報告書
      2008 実績報告書
  • [学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      日本数学会2008年度秋季総合分科会
    • 発表場所
      東京工業大学
    • 年月日
      2008-09-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 重調和方程式に対する構成的事前誤差評価について2008

    • 著者名/発表者名
      橋本弘治
    • 学会等名
      日本数学会2008年度秋期総合分科会
    • 発表場所
      東京工業大学
    • 年月日
      2008-09-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Maximal Regularity for the Thermoelastic Plate Equation with Hinged Boundary Condition2008

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      日本数学会2008年度秋季総合分科会
    • 発表場所
      東京工業大学
    • 年月日
      2008-09-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Global solutions to the Navier-Stokes Equations with Coriolis Forces thourgh the Kato-Fujita Argument2008

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      日本数学会2008年度秋季総合分科会
    • 発表場所
      東京工業大学
    • 年月日
      2008-09-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 表面張力を考慮に入れた流体の自由境界問題の時間局所可解性について2008

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      日本数学会2008年度秋季総合分科会
    • 発表場所
      東京工業大学
    • 年月日
      2008-09-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Navier-Stokes方程式の安定性について2008

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      研究集会「第4回非線型の諸問題」
    • 発表場所
      佐賀大学
    • 年月日
      2008-09-22
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 若手セッションパネル「若手研究者による学会への期待」2008

    • 著者名/発表者名
      荻田武史
    • 学会等名
      日本応用数理学会2008年度年会
    • 発表場所
      東京大学柏キャンパス
    • 年月日
      2008-09-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 高精度な疎行列ベクトル積の高速計算2008

    • 著者名/発表者名
      荻田武史
    • 学会等名
      日本応用数理学会2008年度年会
    • 発表場所
      東京大学柏キャンパス
    • 年月日
      2008-09-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 高精度な行列乗算のための行列分割の改善について2008

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      日本応用数理学会2008年度年会
    • 発表場所
      東京大学柏キャンパス
    • 年月日
      2008-09-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 高速精度保証付き自動積分法について2008

    • 著者名/発表者名
      山中脩也
    • 学会等名
      日本応用数理学会2008年度年会
    • 発表場所
      東京大学柏キャンパス
    • 年月日
      2008-09-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      日本応用数理学会2008年度年会
    • 発表場所
      東京大学柏キャンパス
    • 年月日
      2008-09-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Some Methods to Compute Verified Matrix Determinants2008

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-09-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Iterative Refinement for Ill-Conditioned Linear Equations2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-09-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Accurate Matrix Multiplication by Using Level 3 BLAS Operation2008

    • 著者名/発表者名
      Katsuhisa Ozaki
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-09-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Fast Verified Automatic Integration Algorithm Using Complex Analysis2008

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-09-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Numerical Verification of Optimum Point in Linear Programming2008

    • 著者名/発表者名
      Shin'ichi. Oishi
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-09-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A Method for the Generation of a Class of Ill-Conditioned Matrices2008

    • 著者名/発表者名
      Tetsuo Nishi
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-09-08
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Pattern formations in heat convection problems, Parabolic and Navier-Stokes Equations2008

    • 著者名/発表者名
      T. Nishida
    • 学会等名
      Banach Center
    • 発表場所
      Bedlewo, Poland
    • 年月日
      2008-09-04
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Pattern formations in heat convection problems2008

    • 著者名/発表者名
      Takaaki Nishida
    • 学会等名
      Parabolic and Navier-Stokes Equations 2008
    • 発表場所
      Bedlewo. Poland
    • 年月日
      2008-09-04
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 無限次元非線形システムの精度保証付きパラメータ同定技法について2008

    • 著者名/発表者名
      中尾充宏
    • 学会等名
      産業技術数理研究センター第4回ワークショップ
    • 発表場所
      九州大学
    • 年月日
      2008-09-03
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On resolvent problems for generalized Stokes equation arising from free boundary problem2008

    • 著者名/発表者名
      Yoshihiro Shibata
    • 学会等名
      Parabolic and Navier-Stokes Equations 2008
    • 発表場所
      Bedlewo. Poland
    • 年月日
      2008-09-03
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On very accurate computation for solutions of elliptic problems with result verification by spectral method2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      The 2nd China-Japan-Korea Joint Seminar on Numerical Mathematics
    • 発表場所
      Weihai. China
    • 年月日
      2008-08-26
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 科学技術計算の品質保証2008

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      先駆的科学計算に関するフォーラム2008 -高精度・多倍長計算-
    • 発表場所
      九州大学
    • 年月日
      2008-08-08
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On very accurate computation of solutions with guaranteed error bounds for nonlinear elliptic problems by using a spectral Galerkin method2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      Institute Seminar for Scientific Computing and Mathematical Modeling
    • 発表場所
      Karlsruhe. Germany
    • 年月日
      2008-07-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation to Two Dimensional Sound Scattering Problem2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      Gregynog Workshop 2008
    • 発表場所
      Cardiff. UK
    • 年月日
      2008-07-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      Gregynog Workshop 2008
    • 発表場所
      Cardiff, UK
    • 年月日
      2008-07-16
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On the Free Boundary Problem for the Navier-Stokes Equations in the Lp Framework and Related Topics2008

    • 著者名/発表者名
      柴田良弘
    • 学会等名
      RIHS研究集会「流体と気体の数学解析」
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2008-07-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Calculation of Bessel and Hankel Functions with Guaranteed Accuracy2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      琉球大学
    • 年月日
      2008-06-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 「シミュレーション技術の将来展望-ロードマップの紹介と、人文社会科学分野への展開の可能性-」2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      第27回日本シミュレーション学会大会
    • 発表場所
      立命館大学
    • 年月日
      2008-06-19
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 行列式の精度保証付き数値計算法2008

    • 著者名/発表者名
      荻田武史
    • 学会等名
      第27回日本シミュレーション学会大会
    • 発表場所
      立命館大学
    • 年月日
      2008-06-19
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ポータブルかつ誤差半径を過大評価しない行列乗算の包含について2008

    • 著者名/発表者名
      尾時克久
    • 学会等名
      第27回日本シミュレーション学会大会
    • 発表場所
      立命館大学
    • 年月日
      2008-06-19
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 複素解析を用いた高速精度保証付き自動積分法2008

    • 著者名/発表者名
      山中脩也
    • 学会等名
      第27回日本シミュレーション学会大会
    • 発表場所
      立命館大学
    • 年月日
      2008-06-19
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Level 3 BLASを用いて行列乗算の精度を改善する方法について2008

    • 著者名/発表者名
      尾崎克久
    • 学会等名
      第37回数値解析シンポジウム
    • 発表場所
      仙北市たざわこ芸術村
    • 年月日
      2008-06-12
    • 関連する報告書
      2008 実績報告書
  • [学会発表] DE公式を用いた高速精度保証付き自動積分法2008

    • 著者名/発表者名
      山中脩也
    • 学会等名
      第37回数値解析シンポジウム
    • 発表場所
      仙北市たざわこ芸術村
    • 年月日
      2008-06-12
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 悪条件連立一次方程式に対する残差反復法の収束性2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      第37回数値解析シンポジウム
    • 発表場所
      仙北市たざわこ芸術村
    • 年月日
      2008-06-12
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      M.T. Nakao
    • 学会等名
      6th International Conference on Scientific Computing and Applications(SCA2008), Pusan National University
    • 発表場所
      Busan, Korea
    • 年月日
      2008-06-03
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      Mitsuhiro T. Nakao
    • 学会等名
      6th International Conference on Scientific Computing and Applications
    • 発表場所
      Busan. Korea
    • 年月日
      2008-06-03
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 解けたらうれしい線形方程式2008

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      第13回計算工学講演会
    • 発表場所
      仙台市仙台市民会館
    • 年月日
      2008-05-20
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 悪条件連立一次方程式に対する残差反復法2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      神戸
    • 年月日
      2008-03-27
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 高速で高精度な浮動小数点数の内積計算法と精度保証付き数値計算2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本数学会(企画特別講演)
    • 発表場所
      大阪府立大学
    • 年月日
      2008-03-22
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] 高速で高精度な浮動小数点数の内積計算法と精度保証付き数値計算2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本数学会
    • 発表場所
      近畿大学
    • 年月日
      2008-03-22
    • 関連する報告書
      2007 実績報告書
  • [学会発表] (Waseda Univ. /JST): Accurate and Fast Sum of Floating Point Numbers and Applications to Verification Algorithms2008

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      The 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      The University of Texas at El Paso
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] On resolvent problems for generalized Stokes equation arising from free boundary problem, International Conference on Parabolic and Navier-Stokes Equations 20082008

    • 著者名/発表者名
      Y. Shibata
    • 学会等名
      Banach center
    • 発表場所
      porland
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Iterative Refinement for Ill-Conditioned Linear Systems2008

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      International Workshop on Numerical Validation in Current Hardware Architectures at Dagstuhl Seminar
    • 発表場所
      Germany
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Iterative Refinement for III-Condtioned Linear Systems2008

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      International Workshop on Numerical Validation in Current Hardware Architectures
    • 発表場所
      Dagstuhl, Germany
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Numerical verification on existence of periodic solutions to ODEs2008

    • 著者名/発表者名
      N. Yamamoto
    • 学会等名
      International Workshop on Numerical verification and its Applications
    • 発表場所
      沖縄市
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Computer assited proofs of solutions for nonlinear heat convection problems2008

    • 著者名/発表者名
      Y. Watanabe
    • 学会等名
      International Workshop on Numerical Verification and its Applications
    • 発表場所
      沖縄市
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 高次補間に基づく常微分方程式の精度保証法について2007

    • 著者名/発表者名
      山本野人
    • 学会等名
      日本数学会 2007年度秋期総合分科会
    • 発表場所
      東北大学
    • 年月日
      2007-09-23
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Fast and Accurate Dot Product Algorithm and its Applications to Verified Numerical Computation2007

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      The 3rd East Asia SIAM Conference
    • 発表場所
      Xiamen, China
    • 関連する報告書
      2009 研究成果報告書 2007 実績報告書
  • [学会発表] Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation2007

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      九州大学数理学府21世紀COEシンポジウム特別講演
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation2007

    • 著者名/発表者名
      S.Oishi
    • 学会等名
      九州大学数理学府21世紀COEシンポジウム
    • 発表場所
      九州大学
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation to Stationary Scattering Problem2007

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      ナノ光デバイスに関する日独セミナー
    • 発表場所
      米子市
    • 関連する報告書
      2007 実績報告書
  • [学会発表] ベッセル関数の精度保証付き数値計算法2007

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本応用数理学会年会
    • 発表場所
      札幌市
    • 関連する報告書
      2007 実績報告書
  • [学会発表] A theorem for numerical verification of local uniquness2007

    • 著者名/発表者名
      N. Yamamoto
    • 学会等名
      ICIAM 07
    • 発表場所
      Zurich, Switzerland
    • 関連する報告書
      2007 実績報告書
  • [学会発表] センター計算機群に対する実アプリケーションに即した性能評価2007

    • 著者名/発表者名
      渡部 善隆
    • 学会等名
      RIITフォーラム2007
    • 発表場所
      九州大学
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Some computer-assited Proofs for nonlinear heat convection Problem2007

    • 著者名/発表者名
      Y. Watanabe
    • 学会等名
      2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation
    • 発表場所
      Taipei
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 並行Poiseuille流れの安定性に関する計算機援用解析2007

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      研究集会・流れ問題のための高品質数値解法と精度保証計算
    • 発表場所
      島根県松江市
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 並行Poiseuille流れの不安定性に対する計算機援用証明2007

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺
    • 発表場所
      京都大学
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 反応拡散方程式系の解に対する計算機援用証明法2007

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      九州大学数値解析学セミナー
    • 発表場所
      九州大学
    • 関連する報告書
      2007 実績報告書
  • [学会発表] A computer-assited proof of solutions for an eliptic system of reaction-diffusion equations2007

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      「精度保証付き数値計算とその周辺」ワークショップ
    • 発表場所
      岐阜大学
    • 関連する報告書
      2007 実績報告書
  • [学会発表] ある反応拡散方程式系に対する精度保証付き数値計算2007

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      日本数学会2007年度秋季総合分科会
    • 発表場所
      東北大学
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      日本応用数理学会
    • 発表場所
      北海道大学
    • 関連する報告書
      2007 実績報告書
  • [学会発表] A computer-assited proof of solutions for three dimensional nonlinear heat convection problem2007

    • 著者名/発表者名
      Y. Watanabe
    • 学会等名
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • 発表場所
      Kyushu University
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 疎連立一次方程式の解の反復解法を用いた数値的精度保証法2005

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本応用数理学会環瀬戸内応用数理研究部会第9回シンポジウム
    • 年月日
      2005-11-12
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Numerical Verification for Solutions of Linear Systems, Algebraic and Numerical Algorithms and Computer-assisted Proofs2005

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      Dagstuhl Seminar
    • 発表場所
      Dagstuhl, Germany
    • 年月日
      2005-09-29
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] 数値線形計算の精度保証に関する最新の発展-任意に精度を変更でき、大規模な問題を扱え、高速に計算するには-2005

    • 著者名/発表者名
      大石進一
    • 学会等名
      力学系の研究-トポロジーと計算機による新展開
    • 発表場所
      京大数理解析研究所
    • 年月日
      2005-06-22
    • 関連する報告書
      2009 研究成果報告書
  • [図書] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • 著者名/発表者名
      田端正久
    • 総ページ数
      120
    • 出版者
      講談社
    • 関連する報告書
      2008 実績報告書
  • [図書] ルベーグ積分論2006

    • 著者名/発表者名
      柴田良弘
    • 総ページ数
      377
    • 出版者
      内田老鶴圃
    • 関連する報告書
      2005 実績報告書

URL: 

公開日: 2005-04-01   更新日: 2018-03-28  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi