WATANABE Yoshitaka 渡部善隆

… Alternative Names

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

Less

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

補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平
- Principal Investigator
  
  小林健太
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
  Basic Section 12030:Basic mathematics-related
  Sections That Are Subject to Joint Review: Basic Section12030:Basic mathematics-related , Basic Section12040:Applied mathematics and statistics-related
- Research Institution
  Hitotsubashi University
計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---Principal Investigator
- Principal Investigator
  
  渡部善隆
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyushu University
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
  Tokyo Woman's Christian University
  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

[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] Another computer-assisted proof of unimodality of solutions for Proudman?Johnson equation2024
- Author(s)
  Watanabe Yoshitaka, Miyaji Tomoyuki
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 41 Issue: 2 Pages: 1013-1032
- DOI
  10.1007/s13160-023-00639-x
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K20810, KAKENHI-PROJECT-23K20812
[Journal Article] Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces2023
- Author(s)
  Yoshitaka Watanabe and Takehiko Kinoshita and Mitsuhiro T. Nakao
- Journal Title
  
  Journal of Scientific Computing
  
  Volume: 94 Issue: 2 Pages: 43-43
- DOI
  10.1007/s10915-023-02097-6
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03373, KAKENHI-PROJECT-23K20812, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20810
[Journal Article] Inclusion method of optimal constant with quadratic convergence for $H_0^1$-projection error estimates and its applications2023
- Author(s)
  Takehiko Kinoshita and Yoshitaka Watanabe and Nobito Yamamoto and Mitsuhiro T. Nakao
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 417 Pages: 114521-114521
- DOI
  10.1016/j.cam.2022.114521
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03373, KAKENHI-PROJECT-23K20812, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20810
[Journal Article] Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem2022
- Author(s)
  Kobayashi Kenta、Watanabe Yoshitaka
- Journal Title
  
  JSIAM Letters
  
  Volume: 14 Issue: 0 Pages: 92-95
- DOI
  10.14495/jsiaml.14.92
- ISSN
  1883-0609, 1883-0617
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K20812, KAKENHI-PROJECT-20H01820
[Journal Article] On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators2022
- Author(s)
  Takehiko Kinoshita and Yoshitaka Watanabe and Mitsuhiro T. Nakao
- Journal Title
  
  Acta Cybernetica
  
  Volume: -- Issue: 1 Pages: 71-82
- DOI
  10.14232/actacyb.294906
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03373, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20812
[Journal Article] Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem2021
- Author(s)
  Cai Shuting、Watanabe Yoshitaka
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 395 Pages: 113603-113603
- DOI
  10.1016/j.cam.2021.113603
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20812
[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 Issue: 9 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
- 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 Issue: 7 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
- 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 Issue: 7 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
- ISBN
  9783319317687, 9783319317694
- 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] Recurrence relations of orthogonal polynomials in H01 and H022015
- Author(s)
 T. Kinoshita, Y. Watanabe, M. T. Nakao
- Journal Title
 
 NOLTA
 
 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] Some Considerations of the Invertibility Verifications for Linear Elliptic Operators2015
- Author(s)
  Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, and Nobito Yamamoto
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 32 Issue: 2 Pages: 19-32
- DOI
  10.1137/120894683
- NAID
  210000173114
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540151
[Journal Article] Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces2014
- Author(s)
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
- Journal Title
  
  SIAM Journal on Numerical Analysis
  
  Volume: 52 Issue: 1 Pages: 975-992
- DOI
  10.1007/s13160-014-0160-6
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24340018, KAKENHI-PROJECT-24540115, KAKENHI-PROJECT-15K05012
[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
  
  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 Issue: 283 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 Issue: 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] 線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算2024
- Author(s)
  寺尾剛史, 渡部善隆, 尾崎克久
- Organizer
  日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日～6日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 実2×2行列の2ノルムと近似逆作用素ノルムの収束オーダーの改善について2024
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.175-176, 2024年3月17日～20日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] Some computer-assisted proofs for nonlinear differential equations involved with self-similar blowup in wave equations2024
- Author(s)
  Yoshitaka Watanabe
- Organizer
  Nonlinear Analysis, Spectral theory and PDEs, Workshop in Honor of Prof. Dr. Michael Plum, February 21-22, 2024, Institute for Analysis, Karlsruhe Institute of Technology, Karlsruhe, Germany.
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 近似楕円型線形作用素のノルムに関する収束性評価の改良2024
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本応用数理学会第20回(2024年)研究部会連合発表会, 長岡科学技術大学, 長岡市, 2024年3月4日～6日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算2024
- Author(s)
  寺尾剛史, 渡部善隆, 尾崎克久
- Organizer
  日本数学会2024年年会, 大阪公立大学, 応用数学分科会講演アブストラクト, pp.177-178, 2024年3月17日～20日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2023
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本応用数理学会2023年研究部会連合発表会, 岡山理科大学, 2023年3月8日～10日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価2023
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2023年年会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] 精度保証付き数値計算によるProudman-Johnson方程式の単峰性解の存在検証2023
- Author(s)
  渡部善隆, 宮路智行
- Organizer
  日本数学会2023年度秋季総合分科会応用数学分科会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] A computer-assisted proof for a nonlinear differential equation involved with self-similar blowup in wave equations,2023
- Author(s)
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Birgit Scherkhuber, and Mitsuhiro T. Nakao
- Organizer
  Minisymposia: Verified Numerical Computations and Applications, in the 10th International Congress on Industrial and Applied Mathematics (ICIAM), August 20-25, 2023, Waseda University, Tokyo, Japan.
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 非線形波動方程式の自己相似爆発解に対する精度保証付き数値計算2023
- Author(s)
  渡部善隆
- Organizer
  RIMS共同研究(公開型)「新時代における高性能科学技術計算法の探究」 (Research on High-performance Scientific Computing in a New Era), 京都大学, 益川ホール, 京都市, 2023年10月18日～10月20日.
- Invited
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2023
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本応用数理学会2023年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] 精度保証付き数値計算によるProudman-Johnson方程式の単峰性解の存在検証2023
- Author(s)
  渡部善隆, 宮路智行
- Organizer
  日本数学会2023年度秋季総合分科会応用数学分科会講演アブストラクト, pp.195-196, 東北大学, 仙台市, 2023年9月20日～9月23日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 2階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価2023
- Author(s)
  木下武彦, 渡部善隆, 中尾充宏
- Organizer
  日本数学会2023年年会, 中央大学, 応用数学分科会講演アブストラクト, pp. 103-104, 2023年3月15日～18日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会2022年研究部会連合発表会, 九州大学(オンライン), 2022年3月8日～9日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 精度保証付き数値計算によるProudman Johnson 方程式の定常解の存在別証2022
- Author(s)
  渡部善隆
- Organizer
  日本数学会2022年度秋季総合分科会応用数学分科会講演アブストラクト, pp.79-80, 北海道大学, 札幌市, 2022年9月13日～9月16日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] OrrSommerfeld方程式の臨界Reynolds数に対する計算機援用証明2022
- Author(s)
  渡部善隆、長藤かおり、Michael Plum、木下武彦、中尾充宏
- Organizer
  日本数学会2022年年会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] Proudman-Johnson方程式の定常解に対する精度保証付き数値計算～Miyaji-Okamoto定理の別証～2022
- Author(s)
  渡部善隆
- Organizer
  日本応用数理学会2022年度年会講演予稿集, A3-1-1, 北海道大学(セミハイブリッド), 札幌市, 2022年9月8日～9月10日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本応用数理学会2022年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] A computer-assisted proof toward the critical Reynolds number for the Orr-Sommerfeld problem2022
- Author(s)
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Takehiko Kinoshita, Mitsuhiro T. Nakao
- Organizer
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), March 13-18, 2022 (online).
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 精度保証付き数値計算によるProudman Johnson 方程式の定常解の存在別証2022
- Author(s)
  渡部善隆
- Organizer
  日本数学会2022年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] OrrSommerfeld方程式の臨界Reynolds数に対する計算機援用証明2022
- Author(s)
  渡部善隆, 長藤かおり, Michael Plum, 木下武彦, 中尾充宏
- Organizer
  日本数学会2022年年会, 埼玉大学, 応用数学分科会講演アブストラクト, pp. 153-154, 2022年3月28日～31日
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] A computer-assisted proof toward the critical Reynolds number for the Orr-Sommerfeld problem2022
- Author(s)
  Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Takehiko Kinoshita, Mitsuhiro T. Nakao
- Organizer
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] Proudman-Johnson方程式の定常解に対する精度保証付き数値計算～Miyaji-Okamoto定理の別証～2022
- Author(s)
  渡部善隆
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] ある三角行列の最小特異値に対するBuenger-Rump理論による精度保証付き数値計算2021
- Author(s)
  渡部善隆
- Organizer
  第5回精度保証付き数値計算の実問題への応用研究集会(NVR 2021) ・JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会, オンライン開催, 2021年11月27日～11月28日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] 定常Kolmogorov問題の対称性破壊分岐点に対する精度保証付き数値計算2021
- Author(s)
  渡部善隆
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] On some convergence properties for finite element approximations to the inverse of linear elliptic operators2021
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- Organizer
  19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] On some convergence properties for finite element approximations to the inverse of linear elliptic operators2021
- Author(s)
  Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
- Organizer
  19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020), September 13-15, 2021, Szeged, Hungary.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用2021
- Author(s)
  小林健太, 渡部善隆
- Organizer
  日本応用数理学会2021年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] 非線形微分方程式に対する精度保証付き数値計算2021
- Author(s)
  渡部善隆
- Organizer
  CREST「現代の数理科学と連携するモデリング手法の構築」成果報告公開シンポジウム～DX, AI, これからの数理モデリング～, オンライン開催, 2021年9月21日～9月24日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] Kolmogorov問題の対称性破壊分岐点に対する計算機援用証明2021
- Author(s)
  渡部善隆
- Organizer
  日本数学会2021年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] 重調和方程式の近似解に対する構成的誤差評価の改良2021
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本数学会2021年年会, 慶應義塾大学(オンライン), 応用数学分科会講演アブストラクト, pp. 87-88, 2021年3月15日～18日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] Kolmogorov問題の対称性破壊分岐点に対する計算機援用証明2021
- Author(s)
  渡部善隆, Cai Shuting
- Organizer
  日本数学会2021年度秋季総合分科会応用数学分科会講演アブストラクト, pp.123-124, 千葉大学(オンライン), 千葉市, 2021年9月14日～9月17日.
- Data Source
  KAKENHI-PROJECT-23K20812
[Presentation] Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用2021
- Author(s)
  小林健太, 渡部善隆
- Organizer
  日本応用数理学会2021年研究部会連合発表会, (オンライン), 2021年3月4日～3月5日.
- Data Source
  KAKENHI-PROJECT-15H03637
[Presentation] 重調和方程式の近似解に対する構成的誤差評価の改良2021
- Author(s)
  渡部善隆, 木下武彦, 中尾充宏
- Organizer
  日本数学会2021年年会
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] 非線形微分方程式に対する精度保証付き数値計算2021
- Author(s)
  渡部善隆
- Organizer
  CREST「現代の数理科学と連携するモデリング手法の構築」成果報告公開シンポジウム
- Data Source
  KAKENHI-PROJECT-20H01820
[Presentation] 定常Kolmogorov問題の対称性破壊分岐点に対する精度保証付き数値計算2021
- Author(s)
  渡部善隆, Cai Shuting
- Organizer
  日本応用数理学会2021年度年会講演予稿集, pp.424-425, 芝浦工業大学(オンライン), さいたま市, 2021年9月7日～9月9日.
- Data Source
  KAKENHI-PROJECT-23K20812
[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年度年会
- Data Source
  KAKENHI-PROJECT-20H01820
[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年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-20H01820
[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: 71 results
2. NAGATOU Kaori (40326426)

# of Collaborated Projects: 6 results

# of Collaborated Products: 25 results
3. KOBAYASHI Kenta (60432902)

# of Collaborated Projects: 6 results

# of Collaborated Products: 1 results
4. KINOSHITA Takehiko (30546429)

# of Collaborated Projects: 5 results

# of Collaborated Products: 59 results
5. 土屋卓也 (00163832)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
6. 劉雪峰 (50571220)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
7. YAMAMOTO Nobito (30210545)

# of Collaborated Projects: 3 results

# of Collaborated Products: 7 results
8. 高安亮紀 (60707743)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. OISHI Shin'ichi (20139512)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. SHIMASAKI Masaaki (60026242)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. SATO Hiroyuki (20225999)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. TABATA Masahisa (30093272)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. NISHIDA Takaaki (70026110)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
14. SHIBATA Yoshihiro (50114088)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. KIMURA Takuma (60581618)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
16. ISHIDA Yoshiki (20201030)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. 宮路智行 (20613342)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
18. MICHAEL Plum

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
19. NAKAKI Tatsuyuki (50172284)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. KIMURA Masato (70263358)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. SUZUKI Atushi (60284155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. EI Shin-ichiro (30201362)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. MURASHIGE Sunao (40302749)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. MATSUNOBU Eiji (30199830)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. AMANO Hirofumi (80231992)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. NANRI T. (70284578)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. FUJII Y. (60026094)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 吉川敦 (80001866)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 木實新一 (70234804)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 古川哲也 (00209165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 荻田武史 (00339615)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 関根晃太 (80732239)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

WATANABE Yoshitaka 渡部 善隆

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

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

精度保証付き数値計算の前進---有限と無限をつなぐもの---Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Expansion of numerical verification methods for functional equationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Optimal estimation for inverse of infinite-dimensional operator by self-validating numerical computations and its applicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Enclosures of solution curve of differential equations by computer-assisted proofPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computer-assisted proofs for the global solution structures of heat convection problemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

WATANABE Yoshitaka 渡部善隆

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