• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

WATANABE Yoshitaka  渡部 善隆

ORCIDConnect your ORCID iD *help
… Alternative Names

渡辺 善隆  ワタナベ ヨシタカ

Less
Researcher Number 90243972
Other IDs
External Links
Affiliation (Current) 2022: 九州大学, 情報基盤研究開発センター, 准教授
Affiliation (based on the past Project Information) *help 2007 – 2022: Kyushu University, 情報基盤研究開発センター, 准教授
2006: 九州大学, 数理(科)学研究科(研究院), 助教授
2000 – 2006: 九州大学, 情報基盤センター, 助教授
1996 – 1999: 九州大学, 大型計算機センター, 助教授
1993 – 1995: 九州大学, 大型計算機センター, 助手
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / Foundations of mathematics/Applied mathematics / Basic Section 12040:Applied mathematics and statistics-related
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics / Basic Section 12040:Applied mathematics and statistics-related / General mathematics (including Probability theory/Statistical mathematics) / Science and Engineering / Engineering / 情報システム学(含情報図書館学) / 計算機科学
Keywords
Principal Investigator
精度保証付き数値計算 / 計算機援用証明 / 有限要素法 / Navier-Stokes方程式 / 区間演算 / 非線形偏微分方程式 / 熱対流問題 / 対称性破壊分岐点 / 非自己共役固有値問題 / 非線形微分方程式 … More / 無限次元固有値問題 / 不動点定理 / 応用数学 / 微分方程式 / 非線形楕円型方程式 / Stokes方程式 / Navier-Stotes方程式 / Rayleigh-Benard対流 / 逆問題 / Oberbeck-Boussinesq方程式 / 複素固有値問題 / 3次元熱対流問題 / 分岐点 / 解曲線の追跡 / 線形化作用素の可逆性 / 無限次元Newton法 / 陰関数定理 / 固有値問題 / 解の存在検証 / 固有値の除外 / 線形化作用素のノルム評価 / 偏微分方程式 / 関数解析 / 関数方程式論 / 精度保証 / 非線形解析 / 固有値解析 / 非線形関数方程式 / 射影近似と誤差解析 / 直交射影の誤差評価 / 計算機援用照明 / 関数方程式 / 誤差評価理論 / 事後誤差評価 / 流体力学 / 数値解析 / 射影誤差評価 … More
Except Principal Investigator
計算機援用証明 / 精度保証付き数値計算 / 有限要素法 / 解の数値的検証 / 数値解析 / 精度保証付き数値計算法 / 解の事後誤差評価 / 非線形現象 / 非線形発展方程式 / PVM / Split-C / 非線形偏微分方程式 / 数式処理と数値処理 / 計算機支援解析学 / 計算可能性構造 / 非圧縮粘性流体 / 移動境界問題 / 精度保証計算 / 特性曲線有限要素法 / 二流体問題 / 創生解 / 多孔質媒体流 / 混相流 / エネルギー安定性 / 渦群緩和振動 / 本質的スペクトル / ナヴィエ・ストークス問題 / 特性曲線法 / 事前事後誤差評価 / 熱対流問題 / 温度依存粘性 / 安定性 / 特性有限要素法 / 数値計算 / 非線形方程式 / 情報数理 / アルゴリズム / 楕円型方程式 / ハイパーテキスト / データベース / マニュアル / HTML / WWW / マルチメディア / 表面情報 / 意味情報 / 文書データベース / 連合データベース / ユーザインターフェイス / 部分型 / Hypertext / Databases / Technical Manuals / HTML (Hypertext Markup Language) / WWW (World-Wide-Web) / Multimedia / Surface Information / Semantic Information / 分散共有メモリー / ワークステーションクラスター / ソフトウェアキャッシュ / プリプロセッサ / ランタイムライブラリー / 並列処理の動向 / 分散共有メモリ / ワークステーションクラスタ / UNIX / ソフトウエアキャッシュ / 通信最適化 / 並列応用プログラム / Distributed Shared Memory / Workstation Cluster / Software Cache / pri-processor / runtime library / 誤差評価 / 補間誤差解析 / 補間誤差評価 / 固有値問題 / 補間誤差定数 / 数値的検証法 / 構成的高精度事前誤差評価 / 非線形楕円型方程式 / 制度保証付き数値計算 / ナビエ・ストークス方程式 / Divergence-free条件 / 固有値問題の厳密評価 / Hypercircle法 Less
  • Research Projects

    (21 results)
  • Research Products

    (342 results)
  • Co-Researchers

    (32 People)
  •  Computer-assisted solution verification for 3D flows with large Reynolds numbers

    • Principal Investigator
      劉 雪峰
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
    • Research Institution
      Niigata University
  •  精度保証付き数値計算の前進---有限と無限をつなぐもの---Principal Investigator

    • Principal Investigator
      渡部 善隆
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
    • Research Institution
      Kyushu University
  •  新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展

    • Principal Investigator
      小林 健太
    • Project Period (FY)
      2020 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
    • Research Institution
      Hitotsubashi University
  •  Advanced research on the Numerical verification Method based on the Finite Element Method

    • Principal Investigator
      KOBAYASHI Kenta
    • Project Period (FY)
      2016 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Hitotsubashi University
  •  Expansion of numerical verification methods for functional equationsPrincipal Investigator

    • Principal Investigator
      Watanabe Yoshitaka
    • Project Period (FY)
      2015 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Kyushu University
  •  A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension

    • Principal Investigator
      NAKAO Mitsuhiro
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Kyushu University
      Sasebo National College of Technology
  •  Optimal estimation for inverse of infinite-dimensional operator by self-validating numerical computations and its applicationsPrincipal Investigator

    • Principal Investigator
      Yoshitaka Watanabe
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Numerical verification method of solutions for nonlinear evolutional equations

    • Principal Investigator
      NAKAO Mitsuhiro
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Sasebo National College of Technology
  •  Enclosures of solution curve of differential equations by computer-assisted proofPrincipal Investigator

    • Principal Investigator
      WATANABE Yoshitaka
    • Project Period (FY)
      2009 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Development of computer assisted analysis for complicated nonlinear phenomena

    • Principal Investigator
      NAKAO Mitsuhiro
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Sasebo National College of Technology
      Kyushu University
  •  Computer-assisted proofs for the global solution structures of heat convection problemsPrincipal Investigator

    • Principal Investigator
      WATANABE Yoshitaka
    • Project Period (FY)
      2006 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Establishment of Verified Numerical Computation

    • Principal Investigator
      OISHI Shin'ichi
    • Project Period (FY)
      2005 – 2009
    • Research Category
      Grant-in-Aid for Specially Promoted Research
    • Review Section
      Science and Engineering
      Engineering
    • Research Institution
      Waseda University
  •  Development and analysis of high-quality numerical methods and simulation for flow problems

    • Principal Investigator
      TABATA Masahisa
    • Project Period (FY)
      2004 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  流体力学的非線形安定性問題に対する計算機援用証明Principal Investigator

    • Principal Investigator
      渡部 善隆
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  精度保証付き多次元逆スペクトル解析Principal Investigator

    • Principal Investigator
      渡部 善隆
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  計算機による解析学創設の可能性に関する基礎的研究

    • Principal Investigator
      NAKAO Mitsuhiro
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Navier-Stokes方程式の精度保証付き数値計算に関する研究Principal Investigator

    • Principal Investigator
      渡部 善隆
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  精度保証付き数値計算ライブラリの開発Principal Investigator

    • Principal Investigator
      渡辺 善隆 (渡部 善隆)
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Kyushu University
  •  Research on Distributed Shared Memory System with High Speed Network

    • Principal Investigator
      SHIMASAKI M.
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
      Kyushu University
  •  非線形偏微分方程式の解の精度保証付き数値計算法に関する研究Principal Investigator

    • Principal Investigator
      渡部 善隆
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Document Processing through the Integration of Hypertext and Database Techniques and Its Application to Technical Manual Organization

    • Principal Investigator
      SHIMASAKI Masaaki
    • Project Period (FY)
      1993 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      Kyushu University

All 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

  • [Book] Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations2019

    • Author(s)
      Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe
    • Total Pages
      467
    • Publisher
      Springer Series in Computational Mathematics, Volume 53, Springer Singapore
    • ISBN
      9789811376696
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Book] Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations2019

    • Author(s)
      Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe
    • Total Pages
      467
    • Publisher
      Springer Singapore
    • ISBN
      9789811376696
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Book] シミュレーション辞典,微分方程式と数値計算(日本シミュレーション学会編)2012

    • Author(s)
      渡部善隆
    • Total Pages
      454
    • Publisher
      コロナ社
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Book] 実例で学ぶ精度保証付き数値計算~理論と実装~2011

    • Author(s)
      中尾充宏, 渡部善隆
    • Total Pages
      216
    • Publisher
      サイエンス社
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Book] 実例で学ぶ精度保証付き数値計算-理論と実装-2011

    • Author(s)
      中尾充宏・渡部善隆
    • Total Pages
      216
    • Publisher
      サイエンス社
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Book] 実例で学ぶ精度保証付き数値計算~理論と実装~,臨時別冊・数理科学2011

    • Author(s)
      中尾充宏, 渡部善隆
    • Total Pages
      216
    • Publisher
      サイエンス社
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Book] 実例で学ぶ精度保証付き数値計算---理論と実装---2011

    • Author(s)
      中尾充宏・渡部善隆
    • Total Pages
      216
    • Publisher
      サイエンス社
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Some improvements of invertibility verifications for second-order linear elliptic operators2020

    • Author(s)
      Watanabe Yoshitaka、Kinoshita Takehiko、Nakao Mitsuhiro T.
    • Journal Title

      Applied Numerical Mathematics

      Volume: 154 Pages: 36-46

    • DOI

      10.1016/j.apnum.2020.03.016

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-15H03637
  • [Journal Article] Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space2020

    • Author(s)
      Kinoshita Takehiko、Watanabe Yoshitaka、Nakao Mitsuhiro T.
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 369 Pages: 112561-112561

    • DOI

      10.1016/j.cam.2019.112561

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-15H03637
  • [Journal Article] An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces2019

    • Author(s)
      Kinoshita Takehiko、Watanabe Yoshitaka、Nakao Mitsuhiro T.
    • Journal Title

      Journal of Differential Equations

      Volume: 266 Pages: 5431-5447

    • DOI

      10.1016/j.jde.2018.10.027

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15H03637
  • [Journal Article] An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space2019

    • Author(s)
      Watanabe Yoshitaka、Kinoshita Takehiko、Nakao Mitsuhiro T.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 印刷中 Issue: 2 Pages: 407-420

    • DOI

      10.1007/s13160-019-00344-8

    • NAID

      210000160991

    • ISSN
      0916-7005, 1868-937X
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15H03637
  • [Journal Article] A computer‐assisted method for the diblock copolymer model2019

    • Author(s)
      Cai Shuting、Watanabe Yoshitaka
    • Journal Title

      ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift f?r Angewandte Mathematik und Mechanik

      Volume: 99 Pages: 1-1

    • DOI

      10.1002/zamm.201800125

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15H03637
  • [Journal Article] Validated Constructive Error Estimations for Biharmonic Problems,2017

    • Author(s)
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • Journal Title

      Reliable Computing

      Volume: 25 Pages: 168-177

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Journal Article] On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations2017

    • Author(s)
      Watanabe Yoshitaka、Nakao Mitsuhiro T.、Nagatou Kaori
    • Journal Title

      JSIAM Letters

      Volume: 9 Issue: 0 Pages: 77-80

    • DOI

      10.14495/jsiaml.9.77

    • NAID

      130006252917

    • ISSN
      1883-0609, 1883-0617
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K05012
  • [Journal Article] Validated constructive error estimations for biharmonic problems2017

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
    • Journal Title

      Reliable Computing

      Volume: 25 Pages: 168-177

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Journal Article] Validated constructive error estimations for biharmonic problems2017

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
    • Journal Title

      Reliable Computing

      Volume: 25 Pages: 168-177

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Journal Article] Some remarks on the rigorous estimation of inverse linear elliptic operators2016

    • Author(s)
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • Journal Title

      Lecture Notes in Computer Science (LNCS) 9553, the proceedings of SCAN 2014

      Volume: 9553 Pages: 225-235

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Journal Article] A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration2016

    • Author(s)
      Y. Watanabe, M.T. Nakao
    • Journal Title

      Applied Mathematics and Computation

      Volume: 276 Pages: 239-251

    • DOI

      10.1016/j.amc.2015.12.021

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15K05012, KAKENHI-PROJECT-15H03637
  • [Journal Article] Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 33 Issue: 3 Pages: 629-636

    • DOI

      10.1007/s13160-016-0223-y

    • NAID

      210000183342

    • ISSN
      0916-7005, 1868-937X
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K04991
  • [Journal Article] Norm Bound Computation for Inverses of Linear Operators in Hilbert Spaces2016

    • Author(s)
      Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
    • Journal Title

      Journal of Differential Equations

      Volume: 260 Pages: 6363-6374

    • DOI

      10.1016/j.jde.2015.12.041

    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950, KAKENHI-PROJECT-15K05012
  • [Journal Article] Some remarks on the rigorous estimation of inverse linear elliptic operators2016

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9553 Pages: 225-235

    • DOI

      10.1007/978-3-319-31769-4_18

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Journal Article] Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016

    • Author(s)
      T. Kinoshita, Y. Watanabe, N. Yamamoto, M. T. Nakao
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 33 Pages: 629-636

    • NAID

      210000183342

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Journal Article] An Efficient Numerical Verification Method for the Kolmogorov Problem of Incompressible Viscous Fluid2016

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 302 Pages: 157-170

    • DOI

      10.1016/j.cam.2016.01.055

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H03637, KAKENHI-PROJECT-16H03950
  • [Journal Article] Some considerations of the invertibility verifications for linear elliptic operators2015

    • Author(s)
      Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 52 Issue: 1 Pages: 19-31

    • DOI

      10.1007/s13160-014-0160-6

    • ISSN
      0916-7005, 1868-937X
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540115, KAKENHI-PROJECT-15K05012
  • [Journal Article] Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces2015

    • Author(s)
      Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, and Nobito Yamamoto
    • Journal Title

      SIAM Journal on Numerial Analysis

      Volume: 32 Pages: 19-32

    • DOI

      10.1137/120894683

    • NAID

      210000173114

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
  • [Journal Article] Recurrence relations of orthogonal polynomials in <I>H</I><sub>0</sub><sup>1</sup> and <I>H</I><sub>0</sub><sup>2</sup>2015

    • Author(s)
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • Journal Title

      NOLTA, IEICE

      Volume: 6 Issue: 3 Pages: 404-409

    • DOI

      10.1587/nolta.6.404

    • NAID

      130005085581

    • ISSN
      2185-4106
    • Language
      English
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-15K05012, KAKENHI-PROJECT-15H03637
  • [Journal Article] An improvement of the theorem of a posteriori estimates for inverse elliptic operators2014

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
    • Journal Title

      NOLTA, IEICE

      Volume: 5 Issue: 1 Pages: 47-52

    • DOI

      10.1587/nolta.5.47

    • NAID

      130003386652

    • ISSN
      2185-4106
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
  • [Journal Article] A Simple Numerical Verification Method for Differential Equations Based on Infinite Dimensional Sequential Iteration2013

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: 4 Pages: 23-33

    • NAID

      130003375410

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Journal Article] A Posteriori Estimates of Inverse Operators for Boundary Value Problems in Linear Elliptic Partial Differential Equations2013

    • Author(s)
      Yoshitaka Watanabe, Takehiko Kinoshita and Mitsuhiro T. Nakao
    • Journal Title

      Mathematics of Computation

      Volume: 82 Pages: 1543-1557

    • DOI

      10.1090/s0025-5718-2013-02676-2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23740074, KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
  • [Journal Article] Tests of Inequivalence Among Absolutely Nonsingular Tensors Through Geometric Invariants2012

    • Author(s)
      Toshio Sakata, Kazumitsu Maehara, Takeshi Sasaki, Toshio Sumi, Mitsuhiro Miyazaki, Yoshitaka Watanabe, and Makoto Tagami
    • Journal Title

      Universal Journal of Mathematics and Mathematical Sciences

      Volume: Vol.1, No.1 Pages: 1-28

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] 微分方程式の精度保証付き数値計算--逐次反復に基づく計算機援用証明--2012

    • Author(s)
      渡部善隆
    • Journal Title

      京都大学数理解析研究所講究録別冊accepted

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A Numerical Verification Method for a System of Fitz Hugh-Nagumo Type2012

    • Author(s)
      Shuting Cai, Kaori Nagatou, and Yoshitaka Watanabe
    • Journal Title

      Numerical Functional Analysis and Optimization

      Volume: 33 Pages: 1195-1220

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Journal Article] A theorem for numerical verification on local uniqueness of solutions to fixed-point equations2011

    • Author(s)
      N. Yamamoto, M. T. Nakao, Y. Watanabe
    • Journal Title

      Numerical Functional Analysis and Optimization

      Volume: 32 Pages: 1190-1204

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems2011

    • Author(s)
      Mitsuhiro T. Nakao, and Yoshitaka Watanabe
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: Vol.2, No.1 Pages: 2-31

    • NAID

      130000903439

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] 精度保証付き数値計算(3)-中尾理論入門2011

    • Author(s)
      渡部善隆
    • Journal Title

      応用数理

      Volume: Vol.21, No.3 Pages: 47-53

    • NAID

      110009426225

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow2011

    • Author(s)
      Y. Watanabe, K. Nagatou, M. Plum, M. T. Nakao
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: 2 Pages: 123-127

    • NAID

      130000903447

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems2011

    • Author(s)
      Mitsuhiro T.Nakao, Yoshitaka Watanabe
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: Vol.2,No.1 Pages: 2-31

    • NAID

      130000903439

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] 精度保証付き数値計算(4)-区間演算と有限次元問題の精度保証2011

    • Author(s)
      渡部善隆
    • Journal Title

      応用数理

      Volume: Vol.21, No.4 Pages: 57-63

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations2011

    • Author(s)
      Nobito Yamamoto, Mitsuhiro T. Nakao, and Yoshitaka Watanabe
    • Journal Title

      Numerical Functional Analysis and Optimization

      Volume: Vol.32, No.11 Pages: 1190-1204

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow2011

    • Author(s)
      Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: Vol.2, No.1 Pages: 123-127

    • NAID

      130000903447

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] 精度保証付き数値計算(2)-線形逆作用素のノルム評価2011

    • Author(s)
      渡部善隆
    • Journal Title

      応用数理

      Volume: Vol.21, No.2 Pages: 54-60

    • NAID

      110008673554

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] 精度保証付き数値計算(1)-不動点定式化2011

    • Author(s)
      渡部善隆
    • Journal Title

      応用数理

      Volume: Vol.21, No.1 Pages: 40-45

    • NAID

      110008593884

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] 精度保証付き数値計算(1)-不動点定式化-2011

    • Author(s)
      渡部善隆
    • Journal Title

      応用数理

      Volume: Vol.21,No.1 Pages: 40-45

    • NAID

      110008593884

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems2011

    • Author(s)
      M. T. Nakao, Y. Watanabe
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: 2 Pages: 2-31

    • NAID

      130000903439

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Numerical Verification Methods for Solutions of Semilinear Elliptic Boundary Value Problems2010

    • Author(s)
      M.T.Nakao, Y.Watanabe
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: Vol.2, No.1 Pages: 2-31

    • NAID

      130000903439

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems2010

    • Author(s)
      Mitsuhiro T.Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoun Kim
    • Journal Title

      Journal of Scientific Computing

      Volume: Vol.43,No.3 Pages: 388-401

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] 無限次元固有値問題に対する固有値の非存在証明研究集会・数値解析と数値計算アルゴリズムの最近の展開2010

    • Author(s)
      渡部善隆, 長藤かおり, Michael Plum, 中尾充宏
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: Vol.1719 Pages: 118-129

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems2010

    • Author(s)
      Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida and Myoung-Nyoun Kim
    • Journal Title

      Journal of Scientific Computing

      Volume: Vol.43, No.3 Pages: 388-401

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2010

    • Author(s)
      M. T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M.-N. Kim
    • Journal Title

      Journal of Scientific Computing

      Volume: Vol.43, No.3 Pages: 388-401

    • DOI

      10.1007/s10915-009-9303-3

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] 無限次元固有値問題に対する固有値の非存在証明,研究集会・数値解析と数値計算アルゴリズムの最近の展開2010

    • Author(s)
      渡部善隆, 長藤かおり, Michael Plum, 中尾充宏
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: Vol.1719 Pages: 118-129

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow2010

    • Author(s)
      Y.Watanabe, et al.
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: Vol.2, No.1 Pages: 123-127

    • NAID

      130000903447

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to2009

    • Author(s)
      Y. Watanabe, M.T. Nakao
    • Journal Title

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

      Pages: 443-463

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: Vol.223 Pages: 953-966

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2009

    • Author(s)
      Kim, M. -N., Nakao, M. T., Watanabe, Y. and Nishida, T.
    • Journal Title

      Numerische Mathematik 111

      Pages: 389-406

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A computer-assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow2009

    • Author(s)
      Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao,
    • Journal Title

      Journal of Applied Mathematics and Mechanics(ZAMM) Vol.89, No.1

      Pages: 5-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics 26

      Pages: 233-247

    • NAID

      10028168961

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Journal of Computational and Applied Mathematics 223

      Pages: 953-966

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Benard Problem2009

    • Author(s)
      Yoshitaka Watanabe and Mitsuhiro T. Nakao
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: Vol.26, No.2-3 Pages: 443-463

    • NAID

      10028169295

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: Vol.26, No.2-3 Pages: 233-247

    • NAID

      10028168961

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Be'nard Problem2009

    • Author(s)
      Y.Watanabe, et al
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics 26

      Pages: 443-463

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009

    • Author(s)
      Y.Watanabe
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics Vol.26, No.2-3

      Pages: 233-247

    • NAID

      10028168961

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh-Benard Problem2009

    • Author(s)
      Y.Watanabe, et al.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics Vol.26, No.2-3

      Pages: 443-463

    • NAID

      10028169295

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A computer- assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow2009

    • Author(s)
      Yoshitaka Watanabe, et al.
    • Journal Title

      Z. Angew. Math. Mech. 89

      Pages: 5-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Journal of Computational and Applied Mathematics Vol.223

      Pages: 983-966

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-B\'{e} nard problems2009

    • Author(s)
      M.-N. Kim, M. T. Nakao, Y. Watanabe, T. Nishida
    • Journal Title

      Numerische Mathematik

      Volume: 111 Pages: 389-406

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Y. Watanabe, et al.
    • Journal Title

      ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift fur Angewandte Mathematik und Mechanik 89

      Pages: 5-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations2009

    • Author(s)
      Y. Watanabe
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics 26:2

      Pages: 233-247

    • NAID

      10028168961

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Watanabe, Y., Plum, M. and Nakao, M. T.
    • Journal Title

      ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift fur Angewandte Mathematik und Mechanik 89

      Pages: 5-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2009

    • Author(s)
      Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaaki Nishida
    • Journal Title

      Numerische Mathematik Vol.111, No.3

      Pages: 389-406

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Journal of Computational and Applied Mathematics 223

      Pages: 953-966

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Watanabe, Y., Plum, M, Nakao, M. T.
    • Journal Title

      Zeitschrift fuer Angewandte Mathematik und Mechanik(ZAMM)

      Volume: 89 Pages: 5-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A computer-assisted instability proof for the Orr-Sommerfeld problemwith Poiseuille flow2009

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Z. Angew. Math. Mech. 89

      Pages: 5-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A numerical verification method for two-coupled elliptic partial differential equations2009

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: Vol.26, No.2-3 Pages: 233-247

    • NAID

      10028168961

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems2009

    • Author(s)
      M.T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M. Kim
    • Journal Title

      Journal of Scientific Computing 10

      Pages: 1-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Watanabe, Y.
    • Journal Title

      ournal of Computational and Applied Mathematics 223

      Pages: 953-966

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-B\'{e} nard problem2009

    • Author(s)
      Y. Watanabe, M. T. Nakao
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 26 Pages: 443-463

    • NAID

      10028169295

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Watanabe, Y.
    • Journal Title

      Z. Angew. Math. Mech. 89(N0. 1)

      Pages: 5-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Y. Watanabe
    • Journal Title

      Journal of Computational and Applied Mathematics 223

      Pages: 953-966

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • Author(s)
      Watanabe, Y.
    • Journal Title

      Journal of Computational and Applied Mathematics 223

      Pages: 953-966

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] 並行Poiseuille流れの不安定性に対する計算機援用証明2008

    • Author(s)
      渡部善隆
    • Journal Title

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

      Pages: 11-19

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] 並行Poiseuille流れの不安定性に対する計算機援用証明2008

    • Author(s)
      渡部善隆, Michael Plum, 中尾充宏
    • Journal Title

      京都大学数理解析研究所講究録 Vol.1614

      Pages: 11-19

    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2008

    • Author(s)
      M. Kim, M.T. Nakao, Y. Watanabe, T. Nishida
    • Journal Title

      Numerische Mathematik 111

      Pages: 389-406

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Benard problem2007

    • Author(s)
      渡部善隆
    • Journal Title

      京都大学数理解析研究所講究録 Vol.1536

      Pages: 87-96

    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2006

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

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

      Pages: 431-434

    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A numerical verification for the Kolmogorov flows of incompressible viscous fluid, Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 20062006

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      ICNAAM-2006 Extended Abstracts

      Pages: 535-539

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] Performance comparison of vector-calculations between Itanium2 and other processors2006

    • Author(s)
      Nanri, T. Watanabe, Y. and Sato, H.
    • Journal Title

      Proceedings of International Workshop on Innovative Architecture

      Pages: 141-146

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Performance comparison of vector calculations between Itanium2 and other processors2006

    • Author(s)
      Takeshi Nanri, Yoshitaka Watanabe and Hiroyuki Sato,
    • Journal Title

      Proceedings of International Workshop on Innovative Architecture

      Pages: 141-146

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A numerical verification for the Kolmogorov flows of imcompressible viscous fluid2006

    • Author(s)
      Y.Watanabe
    • Journal Title

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

      Pages: 535-539

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A numerical verification for the Kolmogorov flows of incompressible viscous fluid2006

    • Author(s)
      Y.Watanabe
    • Journal Title

      Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006

      Pages: 535-539

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Nobito Yamamoto and Takaaki Nishida, A numerical verification of bifurcation points for nonlinear heat convection problems2006

    • Author(s)
      Mitsuhiro T. Nakao, Yoshitaka Watanabe
    • Journal Title

      The proceedings of 2nd International conference "From Scientific Computing to Computational Engineering"(2nd IC-SCCE)

      Pages: 8-8

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A numerical verification for the Kolmogorov flows of incompressible viscous fluid2006

    • Author(s)
      Watanabe, Y.
    • Journal Title

      Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006 (eds. Simos, T., Psihoyios, G., Tsitouras, C.) (Wiley)

      Pages: 535-539

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A numerical verification for the Kolmogorov flows of Imcompressible viscous fluid2006

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

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

      Pages: 535-539

    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] Some computer assisted proofs on three dimensional heat convection problems2006

    • Author(s)
      M.-N.Kim, M.T.Nakao, Y.Watanabe, T.Nishida
    • Journal Title

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

      Pages: 427-430

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] Some computer assisted proofs on three dimensional heat convection problems2006

    • Author(s)
      Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe and Takaak Nishida
    • Journal Title

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

      Pages: 427-430

    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] Rayleigh-Benard問題の大域分岐構造に対する精度保証付き数値計算2006

    • Author(s)
      渡部善隆
    • Journal Title

      京都大学数理解析研究所講究録 Vol.1505

      Pages: 101-105

    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • Author(s)
      M.T.Nakao, K Hashimoto, Y.Watanabe
    • Journal Title

      Computing Vol.75, No.1

      Pages: 1-14

    • NAID

      120000981466

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] An efficient approach to numerical verification for solutions of elliptic differential equations with local uniaueness (in Japanese)2005

    • Author(s)
      Y.Watanabe, N.Yamamoto, M.T.Nakao
    • Journal Title

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

      Pages: 509-520

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity2005

    • Author(s)
      K.Hashimoto, R.Abe, M.T.Nakao, Y.Watanabe
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics Vol.22

      Pages: 111-131

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • Author(s)
      渡部善隆, 山本野人, 中尾充宏
    • Journal Title

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

    • NAID

      110002976854

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • Author(s)
      Nakao, M.T., Hashimoto, K., Watanabe, Y.
    • Journal Title

      Computing 75・1

      Pages: 1-14

    • NAID

      120000981466

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • Author(s)
      Nakao, M. T., Hashimoto, K. and Watanabe, Y.
    • Journal Title

      Computing 75

      Pages: 1-14

    • NAID

      120000981466

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A Numerical verification method for solutions of singularly perturbed problems with nonlinearity2005

    • Author(s)
      Hashimoto, K., Abe, R., Nakao, M. T. and Watanabe, Y.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics 22

      Pages: 111-131

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • Author(s)
      渡部善隆, 山本野人, 中尾充宏
    • Journal Title

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

      Pages: 509-520

    • NAID

      110002976854

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • Author(s)
      渡部 善隆, 山本 野人, 中尾 充宏
    • Journal Title

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

      Pages: 509-520

    • NAID

      110002976854

    • Data Source
      KAKENHI-PROJECT-15740067
  • [Journal Article] A Numerical Verification Method for Solutions of Singularly Perturbed Problems with Nonlinearity2005

    • Author(s)
      Kouji Hashimoto, Ryohei Abe, Mitsuhiro T.Nakao, Yoshitaka Watanabe
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics Vol.22, No.1

      Pages: 311-323

    • Data Source
      KAKENHI-PROJECT-15740067
  • [Journal Article] A numerical verification method for solutions of singularly perturbed problems with nonlinearity2005

    • Author(s)
      Hashimoto, K., Abe, R., Nakao, M.T., Watanabe, Y.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics 22・1

      Pages: 111-131

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • Author(s)
      渡部 善隆, 山本 野人, 中尾 充宏
    • Journal Title

      日本応用数理学会論文誌 15・4

      Pages: 509-520

    • NAID

      110002976854

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • Author(s)
      Nakao, M. T. and Watanabe, Y.
    • Journal Title

      Numerical Algorithms(Special issue for Proceedings of Scientific Computing, Computer Arithmetic, and Validated Numerics 2002) 37

      Pages: 311-323

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A numerical verification of nontrivial solutions for the heat convection problem2004

    • Author(s)
      Watanabe, Y. et al.
    • Journal Title

      Journal of Mathematical Fluid Mechanics 6・1

      Pages: 1-20

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem2004

    • Author(s)
      Yoshitaka Watanabe, et al.
    • Journal Title

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

      Pages: 1-20

    • Data Source
      KAKENHI-PROJECT-15740067
  • [Journal Article] A Numerical verification of nontrivial solutions for the heat convection problem2004

    • Author(s)
      Watanabe, Y., Yamamoto, N., Nakao, M. T. and Nishida, T.
    • Journal Title

      Journal of Mathematical Fluid Mechanics 6

      Pages: 1-20

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • Author(s)
      Nakao, M.T., Watanabe, Y.
    • Journal Title

      Numerical Algorithms 37

      Pages: 311-323

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations2004

    • Author(s)
      Mitsuhiro T.Nakao, Yoshitaka Watanabe
    • Journal Title

      Numerical Algorithms Vol.37, Issue 1-4

      Pages: 311-323

    • Data Source
      KAKENHI-PROJECT-15740067
  • [Journal Article] 微分方程式の精度保証付き数値計算-逐次反復に基づく計算機援用証明

    • Author(s)
      渡部善隆
    • Journal Title

      京都大学数理解析研究所別冊,掲載決定

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A Posteriori Estimates of Inverse Operators for Boundary Value Problems in Linear Elliptic Partial Differential Equations

    • Author(s)
      Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao
    • Journal Title

      Mathematics of Computation

      Volume: (accepted)

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A Numerical Verification Method for a System of FitzHugh-Nagumo Type

    • Author(s)
      Chuting Cai, Kaori Nagatou, and Yoshitaka Watanabe
    • Journal Title

      A Numerical Verification Method for a System of FitzHugh-Nagumo Type

    • Data Source
      KAKENHI-PROJECT-21540134
  • [Journal Article] A numerical verification method for a system of FitzHugh-Nagumo type

    • Author(s)
      S. Cai, K. Nagatou, Y. Watanabe
    • Journal Title

      Numerical Functional Analysis and Optimization

      Volume: (to appear)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

    • Author(s)
      Y. Watanabe, T. Kinoshita, M. T. Nakao
    • Journal Title

      Mathematics of Computation

      Volume: (to appear)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Benard problem

    • Author(s)
      Watanabe, Y. and Nakao, M. T.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics (to appear)

    • NAID

      10028169295

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Benard problem

    • Author(s)
      Yoshitaka Watanabe and Mitsuhiro T. Nakao
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics (採録決定)

    • NAID

      10028169295

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Journal Article] A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

    • Author(s)
      Y.Watanabe
    • Journal Title

      to appear in Mathematics of Computation

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A numerical verification method for two-coupled elliptic partial differential equations

    • Author(s)
      Watanabe, Y.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics (to appear)

    • NAID

      10028168961

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A numerical verification method for two-coupled elliptic partial differential equations

    • Author(s)
      Yoshitaka Watanabe
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics (採録決定)

    • NAID

      10028168961

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 重調和方程式の近似解に対する構成的誤差評価の改良2021

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本数学会2021年年会, 慶應義塾大学(オンライン), 応用数学分科会講演アブストラクト, pp. 87-88, 2021年3月15日~18日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用2021

    • Author(s)
      小林 健太, 渡部 善隆
    • Organizer
      日本応用数理学会2021年研究部会連合発表会, (オンライン), 2021年3月4日~3月5日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 有界作用素のレゾルベントに対するある近似作用素の強収束性について2020

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      日本数学会2020年年会, 日本大学, 応用数学分科会講演アブストラクト, pp. 117-118, 2020年3月16日~19日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Hilbert空間における線形作用素に対する可逆性検証の効率化とその応用2020

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏:
    • Organizer
      日本数学会2020年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.107-110, 熊本大学(オンライン), 熊本市, 2020年9月22日~9月25日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Hilbert空間における線形作用素に対する可逆性検証の効率化2020

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本応用数理学会2020年度年会講演予稿集, pp.444-445, 愛媛大学(オンライン), 松山市, 2020年9月8日~9月10日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Banach空間における有界線形作用素の近似に対する収束性2020

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      日本応用数理学会2020年研究部会連合発表会, 中央大学, 2020年3月4日~5日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] ある楕円型境界値問題から導かれる近似作用素のノルムの収束性2019

    • Author(s)
      木下武彦, 渡部善隆, 中尾充宏
    • Organizer
      応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] Computer-assisted proofs for the Orr-Sommerfeld equation2019

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Workshop: Rigorous Computational Dynamics in Infinite Dimensions
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] Poisson方程式に対する構成的高次誤差評価とその応用2019

    • Author(s)
      渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏
    • Organizer
      日本数学会2019年年会, 東京工業大学, 応用数学分科会講演アブストラクト, pp. 55-56, 2019年3月17日~20日
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Numerical verification methods for nonlinear equations2019

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      ST Sakura Exchange Program in Science, 2019, August 25-September 1, 2019, Niigata University. 発表日: 2019.8.29.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Poisson方程式に対する構成的高次誤差評価2019

    • Author(s)
      渡部善隆, 木下武彦, 山本野人, 中尾充宏
    • Organizer
      日本応用数理学会2019年研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] Poisson方程式に対する構成的高次誤差評価2019

    • Author(s)
      渡部 善隆, 木下 武彦, 山本 野人, 中尾 充宏
    • Organizer
      日本応用数理学会2019年研究部会連合発表会, 筑波大学, 2019年3月4日~5日
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] A computer-assisted proof of the critical Reynolds number for the Orr-Sommerfeld equation2019

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Congress on Industrial and Applied Mathematics (ICIAM2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] H10関数の直交多項式近似に対する2次の誤差評価の最良定数について2019

    • Author(s)
      木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏
    • Organizer
      日本数学会2019年度秋季総合分科会 応用数学分科会講演アブストラクト, pp.43-44, 金沢大学, 金沢市, 2019年9月17日~9月20日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Computer-assisted proofs for the Orr-Sommerfeld equation2019

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Workshop: Rigorous Computational Dynamics in Infinite Dimensions, April 3-6, 2019, Centre de recherches mathematiques (CRM), Universite de Montreal, Montre Quebec, Canada.
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] H10射影誤差に対する2次の誤差評価の最良定数の包含方法について2019

    • Author(s)
      木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏
    • Organizer
      日本応用数理学会2019年度年会講演予稿集, pp.360-361, 東京大学駒場キャンパスI, 東京都, 2019年9月3日~9月5日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Nakao et al. (2005) 最後の謎2019

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019), サンポートホール高松 63会議室, 高松市, 2019年11月30日~12月1日
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] H10射影誤差に対する2次の誤差評価の最良定数の包含方法について2019

    • Author(s)
      木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏
    • Organizer
      日本応用数理学会2019年度年会
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] ある楕円型境界値問題から導かれる近似作用素のノルムの収束性2019

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      応用数学合同研究集会, 発表番号A14-2, 龍谷大学瀬田キャンパス, 大津市, 2019年12月12日~12月14日
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Poisson方程式に対する構成的高次誤差評価とその応用2019

    • Author(s)
      渡部善隆, 木下武彦, 山本野人, 中尾充宏
    • Organizer
      日本数学会2019年年会
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] H10関数の直交多項式近似に対する2次の誤差評価の最良定数について2019

    • Author(s)
      木下武彦, 渡部善隆, 山本野人, 中尾充宏
    • Organizer
      日本数学会2019年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] A computer-assisted proof of the critical Reynolds number for the Orr-Sommerfeld equation,2019

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Numerical verification methods and their application to differential equations - Part 1, in the 9th International Congress on Industrial and Applied Mathematics, July 15-19, 2019, Valencia, Spain.
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Nakao et al. (2005) 最後の謎2019

    • Author(s)
      木下武彦, 渡部善隆, 中尾充宏
    • Organizer
      第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019)
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] 値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証2018

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      日本数学会2018年年会, 東京大学, 応用数学分科会講演アブストラクト, pp. 103-106, 2018年3月18日~21日,
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証2018

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本応用数理学会2018年研究部会連合発表会, 大阪大学, 2018年3月15日~16日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] The essence of numerical verification methods for PDEs2018

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      2018 Workshop on Recent views of Nonlinear Analysis, December 8-10, 2018, The Toba Chamber of Commerce and Industry, Toba, Japan
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善2018

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本数学会2018年度秋季総合分科会 応用数学分科会講演アブストラクト, 岡山大学, 岡山市, 2018年9月24日~9月27日
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 精度保証付き数値計算入門《応用編》2018

    • Author(s)
      渡部 善隆
    • Organizer
      平成30年度NIFS共同研究 研究会「MHDシミュレーションにおける精度保証の可能性について」 核融合科学研究所, 土岐市, 岐阜県, 2018年12月11日~12日
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Kolmogorov問題に対する計算機援用証明における最大値ノルムの改良2018

    • Author(s)
      渡部 善隆
    • Organizer
      研究集会: 不連続Galerkin有限要素法の数学理論とその周辺, コンフォートホテル長崎会議室, 長崎市, 2018年2月14日~15日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] A higher order error estimation for finite element approximations of the Poisson equation2018

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
    • Organizer
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), September 10-15, 2018, Waseda University, Japan
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善2018

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本数学会2018年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] 2階楕円型作用素に対する逆作用素ノルム評価の改良2018

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本応用数理学会2018年度年会
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] A higher order error estimation of the Poisson equation and its applications2018

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Methods for Partial Differential Equations
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] 反復解法における誤差履歴2018

    • Author(s)
      渡部 善隆
    • Organizer
      第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018), 広島インテリジェントホテルスタジアム前, 広島市, 2018年12月1日~12月2日
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 反復解法における誤差履歴2018

    • Author(s)
      渡部善隆
    • Organizer
      第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018)
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] 2階楕円型作用素に対する逆作用素ノルム評価の改良2018

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏:
    • Organizer
      日本応用数理学会2018年度年会講演予稿集, 名古屋大学東山キャンパス, 名古屋市, 2018年9月3日~9月5日
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] A higher order error estimation for finite element approximations of the Poisson equation2018

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
    • Organizer
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] A higher order error estimation of the Poisson equation and its applications2018

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Methods for Partial Differential Equations, Hong Kong, Chaina, March 26-28, 2018.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] The essence of numerical verification methods for PDEs2018

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      2018 Workshop on Recent views of Nonlinear Analysis
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証2018

    • Author(s)
      渡部善隆、木下武彦、中尾充宏
    • Organizer
      日本応用数理学会2018年 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] Verified computations of eigenvalue exclosures for linearized Kolmogorov problem2018

    • Author(s)
      Yoshitaka Watanabe, Michael Plum, Kaori Nagatou and Mitsuhiro T. Nakao
    • Organizer
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] Verified computations of eigenvalue exclosures for linearized Kolmogorov problem2018

    • Author(s)
      Yoshitaka Watanabe, Michael Plum, Kaori Nagatou and Mitsuhiro T. Nakao
    • Organizer
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), September 10-15, 2018, Waseda University, Japan
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces2017

    • Author(s)
      Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • Place of Presentation
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] Some computer-assisted proofs for the Navier-Stokes equations2017

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141), Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141), Banff, Canada, May 8-12, 2017.
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良2017

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      日本数学会2017年度秋季総合分科会 応用数学分科会講演アブストラクト, 山形大学, 山形市, 2017年9月11日~9月14日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Some computer-assisted proofs for the Navier-Stokes equations2017

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] 値域が共役空間となる2階楕円型作用素に対する可逆性検証法の改良2017

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      日本応用数理学会2017年度年会講演予稿集, 武蔵野大学有明キャンパス, 東京都, 2017年9月6日~9月8日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces2017

    • Author(s)
      Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe
    • Organizer
      The International Workshop on Numerical Verification and its Applications 2017(INVA 2017)
    • Place of Presentation
      Miyako-jima, Okinawa, Japan
    • Year and Date
      2017-03-14
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] An alternative approach of invertibility verifications for linear operators in Hilbert spaces2017

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
    • Organizer
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • Place of Presentation
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] An alternative approach of invertibility verifications for linear operators in Hilbert spaces2017

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
    • Organizer
      The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017)
    • Place of Presentation
      Hotel breeze bay marina, Miyako-jima, Okinawa
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] あるコンパクト作用素のレゾルベントに対する下側評価について2017

    • Author(s)
      木下武彦, 渡部善隆, 中尾充宏
    • Organizer
      日本数学会2017年度年会
    • Place of Presentation
      首都大学東京南大沢キャンパス(東京都八王子市)
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] あるコンパクト作用素のレゾルベントに対する下側評価について2017

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      日本数学会2017年年会
    • Place of Presentation
      首都大学東京
    • Year and Date
      2017-03-24
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良2017

    • Author(s)
      木下武彦、渡部善隆、中尾充宏
    • Organizer
      日本数学会秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] Legendre多項式を用いた重調和問題の構成的誤差評価(といくつかの課題)2017

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      応用数学合同研究集会, 龍谷大学, 2017年12月14日~16日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 値域が共役空間となる2 階楕円型作用素に対する可逆性検証法の改良2017

    • Author(s)
      木下武彦、渡部善隆、中尾充宏
    • Organizer
      日本応用数理学会2017年度年会
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] 重調和問題の解に対する構成的誤差評価2017

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      第1回精度保証付き数値計算の実問題への応用研究集会(NVR 2017), 西日本総合展示場, 北九州市, 2017年12月9日~10日.
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 精度保証付き数値計算による平行Poiseuille 流れの高精度不安定性解析2016

    • Author(s)
      渡部善隆、木下武彦、中尾充宏
    • Organizer
      日本数学会年会
    • Place of Presentation
      筑波大学
    • Year and Date
      2016-03-19
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] Validated constructive error estimatations for bi-harmonic problems2016

    • Author(s)
      Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao
    • Organizer
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • Place of Presentation
      Uppsala University, Sweden
    • Year and Date
      2016-09-26
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 重調和方程式の近似解に対する構成的誤差評価2016

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本数学会2016年度秋季総合分科会
    • Place of Presentation
      関西大学, 吹田市
    • Year and Date
      2016-09-15
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 重調和方程式の近似解に対する構成的誤差評価2016

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本応用数理学会2016年度年会
    • Place of Presentation
      北九州国際会議場(福岡県北九州市)
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] Validated constructive error estimatations for bi-harmonic problems2016

    • Author(s)
      Yoshitaka Watanabe, Takehiko Kinoshita and Mitsuhiro T. Nakao
    • Organizer
      17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics(SCAN 2016)
    • Place of Presentation
      Uppsala University, Uppsala, Sweden
    • Year and Date
      2016-09-26
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] コンパクト作用素のレゾルベントに対する下側評価2016

    • Author(s)
      木下武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      2016年度応用数学合同研究集会
    • Place of Presentation
      龍谷大学瀬田キャンパス
    • Year and Date
      2016-12-16
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] Legendre多項式による重調和方程式の精度保証付き誤差評価2016

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本応用数理学会2016年度年会
    • Place of Presentation
      北九州国際会議場
    • Year and Date
      2016-09-12
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] Validated constructive error estimatations for bi-harmonic problems2016

    • Author(s)
      Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao
    • Organizer
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • Place of Presentation
      Uppsala University, Sweden
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] 重調和方程式の近似解に対する構成的誤差評価2016

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本数学会2016年度秋季総合分科会
    • Place of Presentation
      関西大学千里山キャンパス(大阪府吹田市)
    • Data Source
      KAKENHI-PROJECT-16H03950
  • [Presentation] 精度保証付き数値計算による平行Poiseuille流れの高精度不安定性解析2016

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本数学会2016年度年会
    • Place of Presentation
      筑波大学
    • Year and Date
      2016-03-16
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] H3 and H4 regularities of the Poisson equation on polygonal domains2015

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
    • Organizer
      Sixth International Conference on Mathematical Aspects of Computer and Information Sciences
    • Place of Presentation
      Zuse Institute Berlin, Berlin, Germany
    • Year and Date
      2015-11-11
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 線形化、Kolmogorov 問題に対する固有値の除外について2015

    • Author(s)
      渡部善隆、Nagatou Kaori、Plum Michael、中尾充宏
    • Organizer
      2015年度日本応用数理学会年会
    • Place of Presentation
      金沢大学
    • Year and Date
      2015-09-09
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] Kolmogorov問題の精度保証付き数値計算に対するいくつかの考察2015

    • Author(s)
      渡部 善隆
    • Organizer
      日本数学会2015年度秋季総合分科会
    • Place of Presentation
      京都産業大学
    • Year and Date
      2015-09-13
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 線形化Kolmogorov問題に対する固有値の除外について2015

    • Author(s)
      渡部 善隆, Kaori Nagatou, Michael Plum, 中尾 充宏
    • Organizer
      日本応用数理学会2015年度年会
    • Place of Presentation
      金沢大学
    • Year and Date
      2015-09-09
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 楕円型線形逆作用素評価の収束性について2015

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本応用数理学会研究部会連合発表会
    • Place of Presentation
      明治大学中野キャンパス
    • Year and Date
      2015-03-07
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] H3 and H4 regularities of the Poisson equation on polygonal domains2015

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
    • Organizer
      6th International Conference on Mathematical Aspects of Computer and Information Sciences
    • Place of Presentation
      Zuse Institute Berlin, Germany
    • Year and Date
      2015-11-11
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] H3 正則性を持つ一般多角形領域上のPoisson 方程式の解について2015

    • Author(s)
      木下武彦、渡部善隆、中尾充宏
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      京都産業大学
    • Year and Date
      2015-09-16
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] 線形楕円型作用素に対するLaplacian ノルムの構成的評価2015

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本数学会年会
    • Place of Presentation
      明治大学駿河台キャンパス
    • Year and Date
      2015-03-24
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] A nonlinear PDE verification -- Fukuoka, Karlsruhe2015

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Nonlinear PDE Days
    • Place of Presentation
      Karlsruhe Institute of Technology, Germany
    • Year and Date
      2015-07-14
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H03637
  • [Presentation] 2階楕円型作用素における構成的Laplacianノルム評価2014

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本応用数理学会年会
    • Place of Presentation
      政策研究大学院大学
    • Year and Date
      2014-09-03
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] 計算機援用証明によるOrr-Sommerfeld問題の安定性・不安定性解析2014

    • Author(s)
      渡部 善隆
    • Organizer
      日本数学会2014年度年会
    • Place of Presentation
      学習院大学
    • Invited
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] An alternative approach of invertibility verifications and norm estimations for linear elliptic operators2014

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
    • Organizer
      日本応用数理学会2014年研究部会連合発表会
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] Some remarks on the rigorous estimation of inverse linear elliptic operators2014

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
    • Organizer
      16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics(SCAN 2014)
    • Place of Presentation
      University of Wuerzburg, Germany
    • Year and Date
      2014-09-23
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] A comparison of computer-assisted proofs for the Kolmogorov problem2014

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications 2014
    • Place of Presentation
      早稲田大学
    • Invited
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 無限次元非線形関数方程式に対するNewton反復型計算機援用証明2013

    • Author(s)
      渡部 善隆, 中尾 充宏
    • Organizer
      日本数学会2013年度秋季総合分科会
    • Place of Presentation
      愛媛大学
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 楕円型偏微分作用素に対する逆作用素評価の効率化2013

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      日本応用数理学会2013年度年会
    • Place of Presentation
      アクロス福岡
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] exflibによる平行Poiseuille流れの不安定性解析の高精度化2013

    • Author(s)
      渡部 善隆, 藤原 宏志, 中尾 充宏
    • Organizer
      日本応用数理学会2013年度年会
    • Place of Presentation
      アクロス福岡
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] A computer-assisted proof of the Kolmogorov problem of incompressible viscous fluid2013

    • Author(s)
      渡部 善隆
    • Organizer
      RIMS研究集会・非圧縮性粘性流体の数理解析
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察2013

    • Author(s)
      渡部善隆, 木下 武彦, 木村 拓馬, 山本 野人, 中尾 充宏
    • Organizer
      応用数学合同研究集会
    • Place of Presentation
      龍谷大学
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 精度保証とHPC2013

    • Author(s)
      渡部善隆
    • Organizer
      HPCS2013
    • Place of Presentation
      東京工業大学(招待講演)
    • Year and Date
      2013-01-16
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem with Poiseuille flow, Workshop on" Avoided? Crossing of Eigenvalue Curves2012

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Non-commutative Harmonic Oscillator, Special Functions and Number Theory-, Kyushu University
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 無限次元作用素に対する固有値の除外理論と精度保証付き数値計算,九州大学数値解析学セミナー2012

    • Author(s)
      渡部善隆,長藤かおり, Michael Plum,中尾充宏
    • Organizer
      九州大学大学院数理学研究院
    • Year and Date
      2012-04-21
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] exflibにおける多倍長区間演算Fortranインターフェースとその応用2012

    • Author(s)
      渡部善隆,藤原宏志
    • Organizer
      日本応用数理学会2012年研究部会連合発表会
    • Place of Presentation
      九州大学
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] exflibにおける多倍長区間演算Fortranインターフェースとその応用2012

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会2012年研究部会連合発表会
    • Place of Presentation
      九州大学
    • Year and Date
      2012-03-08
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem with Poiseuille flow2012

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Workshop on "Avoided? Crossing of Eigenvalue Curves"--Non-commutative Harmonic Oscillator, Special Functions and Number Theory--
    • Place of Presentation
      Kyushu University
    • Year and Date
      2012-03-07
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] rr-Sommerfeld方程式に対する局所一意性付き計算機援用証明2011

    • Author(s)
      渡部善隆,木下武彦,中尾充宏
    • Organizer
      日本数学会2011年度秋季総合分科会応用数学分科会講演アブストラクト
    • Place of Presentation
      信州大学
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 線形楕円型偏微分作用素の逆作用素に対する事後誤差評価について2011

    • Author(s)
      木下武彦,渡部善隆,中尾充宏
    • Organizer
      日本数学会2011年度秋季総合分科会応用数学分科会講演アブストラクト
    • Place of Presentation
      信州大学
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] Computer-assisted proof for functional equations based on infinite dimensional sequential iteration2011

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods, Karlsruhe Institute of Technology, Germany
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 逐次反復に基づく関数方程式の計算機援用証明2011

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会2011年度年会講演予稿集,pp.341-342
    • Place of Presentation
      同志社大学
    • Year and Date
      2011-09-16
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Computer-assisted proof for functional equations based on infinite dimensional sequential iteration2011

    • Author(s)
      Y.Watanabe
    • Organizer
      Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
    • Place of Presentation
      Karlsruhe Institute of Technology, Germany
    • Year and Date
      2011-09-22
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 微分方程式の精度保証付き数値計算2011

    • Author(s)
      渡部善隆
    • Organizer
      研究集会:可積分系数理の進化
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2011-08-18
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 無限次元作用素に対する固有値の計算機援用非存在証明2011

    • Author(s)
      渡部善隆,長藤かおり, Michael Plum,中尾充宏
    • Organizer
      応用数学合同研究集会報告集
    • Place of Presentation
      龍谷大学
    • Year and Date
      2011-12-16
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 逐次反復に基づく関数方程式の精度保証付き数値計算2011

    • Author(s)
      渡部善隆
    • Organizer
      研究集会:科学計算の信頼性とその周辺に関するワークショップ
    • Place of Presentation
      西海国立公園九十九島ビジターセンター,佐世保市
    • Year and Date
      2011-11-24
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Computer-assisted proaf for functional equations based on infinite dimensional sequential iteration2011

    • Author(s)
      渡部善隆
    • Organizer
      Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
    • Place of Presentation
      Karlsruhe Institute of Technology, Germany
    • Year and Date
      2011-09-22
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 無限次元作用素に対する固有値の計算機援用非存在証明2011

    • Author(s)
      渡部善隆
    • Organizer
      2011年度応用数学合同研究集会
    • Place of Presentation
      龍谷大学理工学部
    • Year and Date
      2011-12-16
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について2011

    • Author(s)
      木下武彦,渡部善隆,中尾充宏
    • Organizer
      日本応用数理学会2011年度年会講演予稿集
    • Place of Presentation
      同志社大学
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 逐次反復に基づく関数方程式の計算機援用証明2011

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会2011年度年会講演予稿集
    • Place of Presentation
      同志社大学
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 微分方程式の精度保証付き数値計算,研究集会2011

    • Author(s)
      渡部善隆
    • Organizer
      可積分系数理の進化,京都大学数理解析研究所
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] Orr{Sommerfeld方程式に対する局所一意性付き計算機援用証明2011

    • Author(s)
      渡部善隆
    • Organizer
      2011年度日本数学会秋期総合分科会
    • Place of Presentation
      信州大学松本キャンパス
    • Year and Date
      2011-10-01
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開学際大規模情報基盤共同利用2010

    • Author(s)
      山本野人、松田望、渡部善隆、藤原宏志
    • Organizer
      共同研究拠点第1回シンポジウム
    • Place of Presentation
      東京大学
    • Year and Date
      2010-09-01
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Legendre多項式を用いた高精度品質保証-およびその課題2010

    • Author(s)
      渡部善隆,木下武彦
    • Organizer
      日本応用数理学会2010年研究部会連合発表会
    • Place of Presentation
      筑波大学
    • Year and Date
      2010-03-08
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] An enclosure method for solutions of FitzHugh-Nagumo equation2010

    • Author(s)
      Shuting Cai, 長藤かおり, 渡部善隆
    • Organizer
      2010年度応用数学合同研究集会報告集pp.197-198
    • Place of Presentation
      龍谷大学
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010

    • Author(s)
      Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications 2010(LNVA2010)
    • Place of Presentation
      Hachijyo-jima, Japan
    • Year and Date
      2010-03-11
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 逐次反復に基づく関数方程式の精度保証付き数値計算2010

    • Author(s)
      渡部善隆
    • Organizer
      研究集会:「科学計算の信頼性とその周辺に関するワークショップ」,西海国立公園九十九島ビジターセンター
    • Place of Presentation
      佐世保市
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] MATLABで偏微分方程式の精度保証プログラムを作ってみました2010

    • Author(s)
      渡部善隆
    • Organizer
      九州大学数値解析学セミナー
    • Place of Presentation
      九州大学大学院数理学研究院
    • Year and Date
      2010-07-27
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications 2010(INVA2010)
    • Place of Presentation
      Hotel Lido Azzurro, Hachijyo Island, Tokyo, Japan
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 無限次元固有値問題に対する固有値の除外法2010

    • Author(s)
      渡部善隆
    • Organizer
      研究集会:「数値解析と計算の信頼性評価」
    • Place of Presentation
      ハウステンボス,ユトレヒト,佐世保市
    • Year and Date
      2010-11-23
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] A self-validating norm computation of inverse for infinite dimensional linear operators and its applications2010

    • Author(s)
      Y.Watanabe
    • Organizer
      SCAN 2010
    • Place of Presentation
      ENS de Lyon, France
    • Year and Date
      2010-09-30
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] A self-validating norm computation of inverse for infinite dimensional linear operators and its applications2010

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics(SCAN 2010)
    • Place of Presentation
      ENS de Lyon, France
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications 2010(INVA2010)
    • Place of Presentation
      Hotel Lido Azzurro, Tokyo, Japan
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Legendre多項式を用いた高精度品質保証-およびその課題-2010

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会2010年研究部会連合発表会
    • Place of Presentation
      筑波大学
    • Year and Date
      2010-03-08
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] Computer-assisted existence proofs with local uniqueness for the Orr-Sommerfeld problem2010

    • Author(s)
      Y, Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications 2010
    • Place of Presentation
      Hotel Lido Azzurro, Tokyo, Japan
    • Year and Date
      2010-03-11
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 非自己共役作用素に対する固有値の除外法2010

    • Author(s)
      渡部善隆,長藤かおり,中尾充宏
    • Organizer
      日本応用数理学会2010年度年会
    • Place of Presentation
      明治大学
    • Year and Date
      2010-09-08
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 非自己共役作用素に対する固有値の除外法2010

    • Author(s)
      渡部善隆、長藤かおり、中尾充宏
    • Organizer
      日本応用数理学会2010年度年会
    • Place of Presentation
      明治大学
    • Year and Date
      2010-09-08
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Legendre多項式を用いた高精度品質保証-およびその課題-2010

    • Author(s)
      渡部善隆, 他
    • Organizer
      日本応用数理学会2010年研究部会連合発表会
    • Place of Presentation
      筑波大学
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] An enclosure method for solutions of FitzHugh-Nagumo equation2010

    • Author(s)
      Shuting Cai,長藤かおり,渡部善隆
    • Organizer
      応用数学合同研究集会報告集
    • Place of Presentation
      龍谷大学
    • Year and Date
      2010-12-16
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 無限次元固有値問題に対する固有値の除外法2010

    • Author(s)
      渡部善隆
    • Organizer
      研究集会:「数値解析と計算の信頼性評価」,ハウステンボス,ユトレヒト
    • Place of Presentation
      佐世保市
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] A self-validating norm computation of inverse for infinite dimensional linear operators and its applications2010

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010)
    • Place of Presentation
      ENS de Lyon, France
    • Year and Date
      2010-09-30
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] MATLABで偏微分方程式の精度保証プログラムを作ってみました2010

    • Author(s)
      渡部善隆
    • Organizer
      九州大学数値解析学セミナー,九州大学大学院数理学研究院
    • Year and Date
      2010-07-27
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] Computer assisted proofs for partial differential equations2010

    • Author(s)
      Kaori Nagatou and Yoshitaka Watanabe
    • Organizer
      Seminar at University of Kent, UK
    • Year and Date
      2010-03-31
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 楕円型作用素の逆作用素の作用素ノルムの評価の改良について2009

    • Author(s)
      木下武彦,渡部善隆,中尾充宏
    • Organizer
      日本数学会2009年度秋季総合分科会
    • Place of Presentation
      大阪大学
    • Year and Date
      2009-09-26
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] Orr-Sommerfbld方程式の複素固有値の除外に対する計算機援用証明2009

    • Author(s)
      渡部善隆, 他
    • Organizer
      2009年度日本応用数理学会年会
    • Place of Presentation
      大阪大学
    • Year and Date
      2009-09-30
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] ある非自己共役作用素の複素固有値の除外に対する数値的検証法II2009

    • Author(s)
      渡部善隆
    • Organizer
      応用数学合同研究集会
    • Place of Presentation
      龍谷大学
    • Year and Date
      2009-12-17
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International workshop on verified computations and related topics, University of Karlsruhe (TH), Germany. COE Lecture Note
    • Place of Presentation
      Faculty of Mathematics, Kyushu University(Vol.15)
    • Year and Date
      2009-03-08
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 計算機援用証明による並行Poiseuille流れの安定性・不安性解析2009

    • Author(s)
      渡部善隆
    • Organizer
      九州大学数値解析学セミナー
    • Place of Presentation
      九州大学
    • Year and Date
      2009-04-28
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] ある非自己共役作用素の複素固有値の除外に対する数値的検証法II2009

    • Author(s)
      渡部善隆, 他
    • Organizer
      応用数学合同研究集会
    • Place of Presentation
      龍谷大学
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] An eigenvalue excluding method for the Orr-Sommerfeld problem2009

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Conference on Engineering and Computational Mathematics(ECM2009)
    • Place of Presentation
      The Hong Kong Polytechnic University, HongKong, China
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      2009 International Workshop on Numerical Verification and its Applications
    • Place of Presentation
      Miyakojima, Japan
    • Year and Date
      2009-03-24
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] An eigenvalue excluding method for the Orr-Sommerfeld problem2009

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Conference on Engineering and Computational Mathematics(ECM2009)
    • Place of Presentation
      The Hong Kong Polytechnic University, Hong Kong, China
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 無限次元固有値問題に対する固有値の非存在証明2009

    • Author(s)
      渡部善隆
    • Organizer
      数値解析と数値計算アルゴリズムの最近の展開
    • Place of Presentation
      京大会館
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International workshop on verified computations and related topics
    • Place of Presentation
      Karlsruhe. Germany
    • Year and Date
      2009-03-08
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A verified eigenvalue excluding method for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications 2009(INVA2009)
    • Place of Presentation
      Hotel Breeze Bay Marina, Miyako Island, Japan
    • Year and Date
      2009-03-24
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証2009

    • Author(s)
      渡部善隆
    • Organizer
      研究集会:「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信
    • Place of Presentation
      公立はこだて未来大学
    • Year and Date
      2009-11-22
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 計算機援用証明による並行Poiseuille流れの安定性・不安性解析,九州大学数値解析学セミナー2009

    • Author(s)
      渡部善隆
    • Organizer
      九州大学大学院数理学研究院
    • Year and Date
      2009-04-28
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] Spectral problem for 3-D photonic crystals, Proceedings of the international Conference on Numerical Analysis and Applied Mathematics 2009(ICNAAM-2009)2009

    • Author(s)
      Kaori Nagatou, Malcolm Brown, Myoungnyoun Kim, Yoshitaka Watanabe and Ian Wood
    • Organizer
      September 18-22, Rethymno, Crete, Greece. AIP Conference Proceedings
    • Year and Date
      2009-09-21
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 熱対流問題の精度保証-計算の品質評価-2009

    • Author(s)
      渡部善隆
    • Organizer
      産業技術数理研究センター第7回ワークショップ水素利用社会の実現に向けた数値解析からの貢献
    • Place of Presentation
      九州大学
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 計算機援用証明による並行Poiseuille流れの安定性・不安性解析2009

    • Author(s)
      渡部善隆
    • Organizer
      九州大学数値解析学セミナー
    • Place of Presentation
      九州大学
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Orr-Sommerfeld方程式の複素固有値の除外に対する計算機援用証明2009

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会2009年度年会
    • Place of Presentation
      大阪大学
    • Year and Date
      2009-09-30
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] ある非自己共役作用素の複素固有値の除外に対する数値的検証法II2009

    • Author(s)
      渡部善隆,中尾充宏, Michael Plum,長藤かおり
    • Organizer
      応用数学合同研究集会報告集
    • Place of Presentation
      龍谷大学
    • Year and Date
      2009-12-17
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] 熱対流問題の精度保証-計算の品質評価2009

    • Author(s)
      渡部善隆
    • Organizer
      九州大学産業数理研究センター第7回ワークショップ
    • Year and Date
      2009-09-03
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] Orr-Sommerfeld問題の解に対する局所-意性付き数値的検証2009

    • Author(s)
      渡部善隆
    • Organizer
      研究集会 : 「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信-
    • Place of Presentation
      公立はこだて未来大学
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Orr-Sommerfeld問題の解に対する局所一意性付き数値的検証2009

    • Author(s)
      渡部善隆
    • Organizer
      「数値解析の現状と展望」-九州大学数値解析セミナーとその協力者からの発信-
    • Place of Presentation
      公立はこだて未来大学
    • Year and Date
      2009-11-22
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 無限次元固有値問題に対する固有値の非存在証明2009

    • Author(s)
      渡部善隆, 他
    • Organizer
      研究集会・数値解析と数値計算アルゴリズムの最近の展開
    • Place of Presentation
      京大会館
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Orr-Sommerfeld方程式の複素固有値の除外に対する計算機援用証明2009

    • Author(s)
      渡部善隆,中尾充宏, Michael Plum,長藤かおり
    • Organizer
      日本応用数理学会2009年度年会
    • Place of Presentation
      大阪大学
    • Year and Date
      2009-09-30
    • Data Source
      KAKENHI-PROJECT-21540134
  • [Presentation] An eigenvalue excluding method for the Orr-Sommerfeld problem2009

    • Author(s)
      Y. Watanabe
    • Organizer
      International Conference on Engineering and Computational Mathematics (ECM2009)
    • Place of Presentation
      The Hong Kong Polytechnic University, Hong Kong, China
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 熱対流問題の精度保証-計算の品質評価-2009

    • Author(s)
      渡部善隆
    • Organizer
      九州大学産業数理研究センター第7回ワークショップ
    • Place of Presentation
      九州大学
    • Year and Date
      2009-09-03
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] An eigenvalue excluding method for the Orr-Sommerfeld problem2009

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Conference on Engineering and Computational Mathematics(ECM2009)
    • Place of Presentation
      The Hong Kong Polytechnic University
    • Year and Date
      2009-05-27
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A verified eigenvalue exeluding method for the Orr-Sommerfeld problem with Poiseuille flow2009

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications 2009
    • Place of Presentation
      沖縄県宮古市
    • Year and Date
      2009-03-24
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008

    • Author(s)
      渡部善隆
    • Organizer
      日本数学会2008年度秋季総合分科会
    • Place of Presentation
      東京工業大学
    • Year and Date
      2008-09-27
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明2008

    • Author(s)
      渡部善隆
    • Organizer
      基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • Place of Presentation
      KKRホテル金沢
    • Year and Date
      2008-11-17
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明2008

    • Author(s)
      渡部善隆
    • Organizer
      基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • Place of Presentation
      KKRホテル金沢
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008

    • Author(s)
      渡部善隆, 長藤かおり, 山本成樹, 木下武彦
    • Organizer
      日本応用数理学会2008年度年会
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008

    • Author(s)
      渡部善隆, 中尾充宏, Michael Plum, 長藤かおり
    • Organizer
      2008年度応用数学合同研究集会
    • Place of Presentation
      龍谷大学理工学部
    • Year and Date
      2008-12-16
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008

    • Author(s)
      長藤かおり, 渡部善隆, 山本成樹, 木下武彦
    • Organizer
      日本数学会2008年度秋季総合分科会
    • Place of Presentation
      東京工業大学
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 解けたらうれしい線形方程式2008

    • Author(s)
      渡部善隆
    • Organizer
      第13回計算工学講演会
    • Place of Presentation
      仙台市仙台市民会館
    • Year and Date
      2008-05-20
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] Orr-Sommerfeld方程式の固有値に対する計算機援用非存在証明2008

    • Author(s)
      渡部善隆
    • Organizer
      基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • Place of Presentation
      KKRホテル金沢
    • Year and Date
      2008-11-17
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] Validated computations for elliptic systems of FitzHugh-Nagumo type2008

    • Author(s)
      Kaori Nagatou, Yoshitaka Watanabe, Shigeki Yamamoto and Takehiko Kinoshita
    • Organizer
      13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics(SCAN 2008)
    • Place of Presentation
      El Paso, USA
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008

    • Author(s)
      渡部善隆
    • Organizer
      日本数学会2008年度秋季総合分科会
    • Place of Presentation
      東京工業大学
    • Year and Date
      2008-09-27
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008

    • Author(s)
      渡部 善隆
    • Organizer
      日本応用数理学会2008年度年会
    • Place of Presentation
      東京大学柏キャンパス, 柏
    • Year and Date
      2008-09-18
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008

    • Author(s)
      渡部善隆, 中尾充宏, Michael Plum, 長藤かおり
    • Organizer
      応用数学合同研究集会報告集
    • Place of Presentation
      龍谷大学(163-166)
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] Computer assisted proofs of solutions for nonlinear heat convection problems2008

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications(INVA2008)
    • Place of Presentation
      Tokyo Dai-ichi Hotel Okinawa Grand Mer Resort
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 科学技術計算の品質保証2008

    • Author(s)
      渡部善隆
    • Organizer
      先駆的科学計算に関するフォーラム2008 -高精度・多倍長計算-
    • Place of Presentation
      九州大学
    • Year and Date
      2008-08-08
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会2008年度年会
    • Place of Presentation
      東京大学柏キャンパス
    • Year and Date
      2008-09-18
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 解けたらうれしい線形方程式2008

    • Author(s)
      渡部善隆
    • Organizer
      第13回計算工学講演会
    • Place of Presentation
      仙台市公民館
    • Year and Date
      2008-05-20
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008

    • Author(s)
      渡部善隆
    • Organizer
      2008年度応用数学合同研究集会
    • Place of Presentation
      龍谷大学理工学部
    • Year and Date
      2008-12-16
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 科学技術計算の品質保証2008

    • Author(s)
      渡部 善隆
    • Organizer
      先駆的科学計算に関するフォーラム2008〜高精度・多倍長計算〜
    • Place of Presentation
      九州大学
    • Year and Date
      2008-08-08
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 解けたらうれしい線形方程式(Vol.13)2008

    • Author(s)
      渡部善隆
    • Organizer
      計算工学講演会論文集
    • Place of Presentation
      仙台市民会館
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 無限次元非線形システムの精度保証付きパラメータ同定技法について2008

    • Author(s)
      中尾充宏, 渡部善隆
    • Organizer
      産業技術数理研究センター第4回ワークショップ
    • Place of Presentation
      九州大学
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] Computer assited proofs of solutions for nonlinear heat convection problems2008

    • Author(s)
      Y. Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications
    • Place of Presentation
      沖縄市
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会2008年度年会
    • Place of Presentation
      東京大学
    • Year and Date
      2008-09-18
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008

    • Author(s)
      渡部 善隆
    • Organizer
      日本数学会2008年度秋季総合分科会
    • Place of Presentation
      東京工業大学大岡山キャンパス, 東京
    • Year and Date
      2008-09-27
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] 科学技術計算の品質保証2008

    • Author(s)
      渡部善隆
    • Organizer
      先駆的科学計算に関するフォーラム2008~高精度・多倍長計算~
    • Place of Presentation
      九州大学
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 並行Poiseuille流れの安定性に関する計算機援用解析2007

    • Author(s)
      渡部善隆
    • Organizer
      研究集会・流れ問題のための高品質数値解法と精度保証計算
    • Place of Presentation
      島根県民会館, 松江市
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] ある反応拡散方程式系に対する精度保証付き数値計算, 日本数学会2007年度秋季総合分科会2007

    • Author(s)
      渡部善隆
    • Organizer
      応用数学分科会講演アブストラクト
    • Place of Presentation
      東北大学
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] センター計算機群に対する実アプリケーションに即した性能評価2007

    • Author(s)
      渡部 善隆
    • Organizer
      RIITフォーラム2007
    • Place of Presentation
      九州大学
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A computer-assited proof of solutions for three dimensional nonlinear heat convection problem2007

    • Author(s)
      Y. Watanabe
    • Organizer
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • Place of Presentation
      Kyushu University
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems2007

    • Author(s)
      Y.Watanabe
    • Organizer
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • Place of Presentation
      Kyushu University Nishijin Plaza, Fukuoka
    • Year and Date
      2007-07-29
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] 並行Poiseuille流れの安定性に関する計算機援用解析2007

    • Author(s)
      渡部善隆
    • Organizer
      研究集会・流れ問題のための高品質数値解法と精度保証計算
    • Place of Presentation
      島根県松江市
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A computer-assisted instability proof for the plane Poiseuille flow2007

    • Author(s)
      渡部善隆, Michael Plum, 長藤かおり, 中尾充宏
    • Organizer
      応用数学合同研究集会報告集
    • Place of Presentation
      龍谷大学(198-199)
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 並行Poiseuille流れの不安定性に対する計算機援用証明2007

    • Author(s)
      渡部 善隆
    • Organizer
      計算科学の基盤技術としての高速アルゴリズムとその周辺
    • Place of Presentation
      京都大学数理解析研究所, 京都
    • Year and Date
      2007-11-14
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会
    • Place of Presentation
      北海道大学
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] ある反応拡散方程式系に対する精度保証付き数値計算2007

    • Author(s)
      渡部善隆
    • Organizer
      日本数学会2007年度秋季総合分科会
    • Place of Presentation
      東北大学
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007

    • Author(s)
      渡部善隆
    • Organizer
      日本応用数理学会2007年度年会講演予稿集
    • Place of Presentation
      北海道大学
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007

    • Author(s)
      渡部 善隆
    • Organizer
      日本応用数理学会2007年度年会
    • Place of Presentation
      北海道大学工学部, 札幌
    • Year and Date
      2007-09-16
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] 反応拡散方程式系の解に対する計算機援用証明法2007

    • Author(s)
      渡部善隆
    • Organizer
      九州大学数値解析学セミナー
    • Place of Presentation
      九州大学
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A computer-assited proof of solutions for an eliptic system of reaction-diffusion equations2007

    • Author(s)
      渡部善隆
    • Organizer
      「精度保証付き数値計算とその周辺」ワークショップ
    • Place of Presentation
      岐阜大学
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] センター計算機群に対する実アプリケーションに即した性能評価2007

    • Author(s)
      渡部善隆
    • Organizer
      RIITフォーラム2007(2007年度九州大学情報基盤研究開発センター研究発表会)
    • Place of Presentation
      九州大学留学生センター国際ホール
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 反応拡散方程式系の解に対する計算機援用証明2007

    • Author(s)
      渡部善隆
    • Organizer
      九州大学数値解析学セミナー
    • Place of Presentation
      九州大学大学院数理学研究院
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] A computer-assisted instability proof for the plane Poiseuille flow2007

    • Author(s)
      渡部善隆, Michael Plum, 長藤かおり, 中尾充宏
    • Organizer
      応用数学合同研究集会報告集
    • Place of Presentation
      龍谷大学
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] Some computer-assited Proofs for nonlinear heat convection Problem2007

    • Author(s)
      Y. Watanabe
    • Organizer
      2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation
    • Place of Presentation
      Taipei
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 並行Poiseuille流れの不安定性に対する計算機援用証明2007

    • Author(s)
      渡部善隆
    • Organizer
      研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] A computer-assited proof of solutions for an elliptic system of reaction-diffusion equations2007

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      「精度保証付き数値計算とその周辺」ワークショップ
    • Place of Presentation
      岐阜大学地域科学部
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] ある反応拡散方程式系に対する精度保証付き数値計算2007

    • Author(s)
      渡部 善隆
    • Organizer
      日本数学会2007年度秋季総合分科会
    • Place of Presentation
      東北大学川内北キャンパス, 仙台
    • Year and Date
      2007-09-23
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] 並行Poiseuille流れの不安定性に対する計算機援用証明2007

    • Author(s)
      渡部 善隆
    • Organizer
      研究集会・計算科学の基盤技術としての高速アルゴリズムとその周辺
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2007-11-14
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems2007

    • Author(s)
      Yoshitaka Watanabe22 , Myoungnyoun Kim, Mitsuhiro T. Nakao and Takaaki Nishida
    • Organizer
      INSF2007: International Conference on Recent Developments of Numerical Schemes for Flow Problems, Book of Abstracts(159-162)
    • Place of Presentation
      Kyushu University Nishijin Plaza
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] Some computer-assisted proofs for nonlinear heat convection problems.(Program and Abstracts)2007

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      2007 Taiwan-Japan Joint workshop on Numerical Analysis and Scientific Computation
    • Place of Presentation
      Institute of Mathematics, Academia Sinica, Nankang, Taipei, the Republic of China
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] A computer-assisted proof of the existence of Benard cells for the heat convection problems2007

    • Author(s)
      Yoshitaka Watanabe
    • Organizer
      International Workshop on Numerical Verification and its Applications(INVA2007)
    • Place of Presentation
      Waseda University
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 疎行列に対する線形方程式の直接解法を用いた固有値・特異値計算2007

    • Author(s)
      渡部善隆
    • Organizer
      第2回計算科学研究ステーション研究集会
    • Place of Presentation
      電気通信大学情報工学科
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 非対称疎行列に対する連立1次方程式の直接解法を用いた特異値計算(70-73)2006

    • Author(s)
      渡部善隆
    • Organizer
      第10回環瀬戸内応用数理研究部会シンポジウム講演予稿集
    • Place of Presentation
      沖縄県青年会館
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 計算機援用証明による熱対流問題の分岐点の存在検証2006

    • Author(s)
      渡部善隆, 中尾充宏, 山本野人, 西田孝明
    • Organizer
      九州大学数値解析学セミナー
    • Place of Presentation
      九州大学大学院数理学研究院
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 3次元熱対流問題に対する解の数値的検証について2006

    • Author(s)
      渡部善隆, Myoungnyoun Kim, 西田孝明, 中尾充宏
    • Organizer
      研究集会・流れ問題の数値解析と精度保証付き数値計算
    • Place of Presentation
      ブケ東海静岡(静岡市)
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems, 12th GAMM-IMACS International Symposion on Scientific Computing2006

    • Author(s)
      Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida
    • Organizer
      Computer Arithmetic and Validated Numerics
    • Place of Presentation
      Duisburg, Germany
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] 疎行列に対する連立1次方程式の直接解法を援用した固有値・特異値計算2006

    • Author(s)
      渡部善隆
    • Organizer
      第11回情報・統計科学シンポジウム
    • Place of Presentation
      九州大学留学生会館国際ホール
    • Data Source
      KAKENHI-PROJECT-18540127
  • [Presentation] Some computer assisted proofs on the bifurcation structure of solutions for heat convection problems2005

    • Author(s)
      Nakao, M. T., Watanabe, Y., Yamamoto, N., Nishida, T. and Kim, M.-N.
    • Organizer
      International Symposium on Nonlinear Theory and its Applications 2005
    • Place of Presentation
      Bruges, Belgium
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] 無限次元非線形関数方程式に対するNewton反復型計算機援用証明

    • Author(s)
      渡部善隆、中尾充宏
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      愛媛大学
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察

    • Author(s)
      渡部善隆,木下武彦, 木村拓馬,山本野人,中尾充宏
    • Organizer
      2013年度応用数学合同研究集会
    • Place of Presentation
      龍谷大学理工学部
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] Some remarks on the rigorous estimation of inverse linear elliptic operators

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
    • Organizer
      16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2014)
    • Place of Presentation
      University of Wuerzburg, Germany
    • Year and Date
      2014-09-21 – 2014-09-26
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] A numerical verification method for the Orr-Sommerfeld problem

    • Author(s)
      渡部 善隆
    • Organizer
      研究集会: 流体方程式の構造と特異性に迫る数値解析・数値計算
    • Place of Presentation
      名古屋大学
    • Year and Date
      2014-12-08 – 2014-12-09
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 2階楕円型作用素における構成的Laplacianノルム評価

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本応用数理学会2014年度年会
    • Place of Presentation
      政策研究大学院大学
    • Year and Date
      2014-09-03 – 2014-09-05
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] Orr-Sommerfeld方程式の臨界Reynolds数に対する精度保証付き数値計算(上

    • Author(s)
      渡部 善隆
    • Organizer
      応用数学合同研究集会
    • Place of Presentation
      龍谷大学
    • Year and Date
      2014-12-18 – 2014-12-20
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 楕円型線形逆作用素評価の収束性について

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本応用数理学会2015年研究部会連合発表会
    • Place of Presentation
      明治大学中野キャンパス
    • Year and Date
      2015-03-06 – 2015-03-07
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 楕円型線形逆作用素評価の収束性について

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本数学会2015年度年会
    • Place of Presentation
      明治大学
    • Year and Date
      2015-03-21 – 2015-03-24
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 精度保証付き数値計算による楕円型作用素の逆作用素ノルム評価

    • Author(s)
      渡部 善隆
    • Organizer
      RIMS研究集会・新時代の科学技術を牽引する数値解析学, 京都大学数理解析研究所
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2014-10-08 – 2014-10-10
    • Data Source
      KAKENHI-PROJECT-24340018
  • 1.  NAKAO Mitsuhiro (10136418)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 76 results
  • 2.  NAGATOU Kaori (40326426)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 25 results
  • 3.  KINOSHITA Takehiko (30546429)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 55 results
  • 4.  KOBAYASHI Kenta (60432902)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 5.  YAMAMOTO Nobito (30210545)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 9 results
  • 6.  土屋 卓也 (00163832)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  劉 雪峰 (50571220)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  OISHI Shin'ichi (20139512)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  SHIMASAKI Masaaki (60026242)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  SATO Hiroyuki (20225999)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  TABATA Masahisa (30093272)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  NISHIDA Takaaki (70026110)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 3 results
  • 13.  SHIBATA Yoshihiro (50114088)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  KIMURA Takuma (60581618)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 2 results
  • 15.  ISHIDA Yoshiki (20201030)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  高安 亮紀 (60707743)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 17.  MICHAEL Plum
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 1 results
  • 18.  NAKAKI Tatsuyuki (50172284)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  KIMURA Masato (70263358)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  SUZUKI Atushi (60284155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  EI Shin-ichiro (30201362)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  MURASHIGE Sunao (40302749)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  MATSUNOBU Eiji (30199830)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  AMANO Hirofumi (80231992)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  NANRI T. (70284578)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  FUJII Y. (60026094)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  吉川 敦 (80001866)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  木實 新一 (70234804)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  古川 哲也 (00209165)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  荻田 武史 (00339615)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  関根 晃太 (80732239)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  宮路 智行 (20613342)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi