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

Nakao Mitsuhiro  中尾 充宏

ORCIDConnect your ORCID iD *help
… Alternative Names

NAKAO Mitsuhiro  中尾 充宏

中尾 充弘  ナカオ ミツヒロ

中尾 光宏  ナカオ ミツヒロ

Less
Researcher Number 10136418
Other IDs
External Links
Affiliation (Current) 2025: 早稲田大学, 理工学術院, その他(招聘研究員)
2025: 九州大学, マス・フォア・インダストリ研究所, 学術研究者
Affiliation (based on the past Project Information) *help 2018 – 2024: 早稲田大学, 理工学術院, その他(招聘研究員)
2016 – 2017: 九州大学, マス・フォア・インダストリ研究所, 学術研究者
2015: 佐世保工業高等専門学校, その他部局等, 校長
2015: 佐世保工業高等専門学校, 校長
2014: 佐世保工業高等専門学校, その他部局等, その他 … More
2010 – 2013: 佐世保工業高等専門学校, 校長
2009: 九州大学, 数理学研究院, 教授
2007 – 2009: Kyushu University, Faculty of Mathematical Science, Professor
2005 – 2006: 九州大学, 大学院数理学研究院, 教授
2005: 九州大学, 数理学研究院, 教授
2000 – 2005: KYUSHU UNIVERSITY, Graduate School of Mathematics, Professor, 大学院・数理学研究院, 教授
2001: Faculty of Mathematics, Kyushu University, Prof., 大学院・数理研究院, 教授
1995 – 2001: Kyushu Univ., Graduate School of Math., Professor, 大学院・数理学研究科, 教授
2000: Kyushu Univ. Graduate School of Sci., Professor, 大学院数理学研究院, 教授
1997 – 2000: 九州大学, 数理学研究科, 教授
1998 – 1999: 九州大学, 大学院数理学研究科, 教授
1996: 九州大学, 数理学研究所, 教授
1996: 九州大学大学院, 数理学研究科, 教授
1994 – 1995: 九州大学, 大学院数理学研究科, 教授
1988 – 1993: 九州大学, 理学部, 助教授
1986 – 1987: 九州工業大学, 工学部, 助教授 Less
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 / Foundations of mathematics/Applied mathematics
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / 解析学 / Basic Section 12040:Applied mathematics and statistics-related / Global analysis / 代数学・幾何学 / Engineering / Science and Engineering / Basic analysis
Keywords
Principal Investigator
計算機援用証明 / 数値解析 / 精度保証付き数値計算法 / 解の数値的検証 / 精度保証付き数値計算 / 有限要素法 / 数値的検証法 / Numerical analysis / 解の事後誤差評価 / Computer assisted proof … More / Validated computation / 解の数値的検証法 / 有限要素法の構成的誤差評価 / Numerical verification / 非線形発展方程式 / 非線形現象 / 誤差評価 / 楕円型境界値問題 / 誤差解析 / 数値的検証 / 非線形楕円型方程式 / 構成的高精度事前誤差評価 / 非線形偏微分方程式 / Numerical verification method / Validated numerical computation / Mathematical analysis for nonlinear phenomena / Numerical solution of PDEs / 非線形問題 / 科学計算 / 非線形現象の数理解析 / 偏微分方程式の数値解法 / 楕円型方程式 / 計算機上での解析学 / 数式処理 / 計算可能性構造 / 計算機支援解析学 / 数式処理と数値処理 / 楕円型偏微分方程式 / 放物型初期境界値問題 / 精度保証付き計算法 / 数値解法 / 境界値問題 … More
Except Principal Investigator
有限要素法 / 精度保証付き数値計算 / 熱対流問題 / 並列計算 / 数値解析 / 計算機援用証明法 / 非線形偏微分方程式 / 地球マントル対流 / Navier-Stokes方程式 / 誤差評価 / 自由境界問題 / 計算機援用証明 / 精度保証付き計算 / Heat convection problems / Computer assisted proof / 解空間の大域的構造 / 力学系 / 精度保証 / 精度保証付き数値計算法 / 微分方程式 / finite element method / 領域分割法 / ナヴィエ・ストークス方程式 / 数理モデリング / 安定性 / 温度依存粘性 / 数値的検証法 / 変分問題 / Global structure of solution space / 非線形波動 / 数値シミュレーション / 一様可解性 / Finite element method / ヘルムホルツ方程式 / クリロフ部分空間法 / Domain decomposition method / PVM / Navier-Stokes equation / 分岐問題 / validated computation / マントル対流 / 安定化有限要素法 / 固有値問題 / 非線形モデル / ブートストラップ法 / 情報量規準 / 計算数理科学 / 離散化 / 数値解法 / drag and lift / modular interpretation / twisted (co) homology / Newton method / 丸め誤差 / 反応拡散方程式系 / 応用数学 / アルゴリズム / 非線形方程式 / 数値計算 / 特性有限要素法 / 精度保証計算 / 移動境界問題 / 非線形反応 / Hypercircle法 / Divergence-free条件 / 鞍点型の固有値問題 / 非自己共役作用素 / ナビエ・ストークス方程式の定常解 / 固有値問題の厳密評価 / 厳密計算ライブラリ / ナビエ・ストークス方程式 / 固有値解析 / 非線形解析 / 関数方程式論 / 不動点定理 / 無限次元固有値問題 / 関数解析 / 偏微分方程式 / Free surface problems / Dynamical Systems / Nonlinear Partial Differential Equation / 自由表面問題 / Bifurcation problems / Nonlinear waves / Dynamical systems / Nonlinear partial differential equations / 外部問題 / 粘性衝撃波 / Nedelec's edge elements / moving boundary problems / heat convection problems / parallel computation / numerical simulation / error estimate / 円外帰着波動問題の基本解近似解法 / 自由境界 / ライスナー・ミンドリン型要素 / 多孔質媒体流に対する差分法 / 特異極限法 / 非線形拡散 / 板曲げ要素 / 無限精度数値計算 / Nedelecの辺要素 / Accuracy guaranteed computation / Error estimation constant / Temperature dependent viscosity / Melting glass convection / Earth's mantle convection / Parallel computation / 精度保証付き固有値問題 / 硝子溶融問題 / 地球マントル対流問題 / 渦輪 / 部分領域分割 / 渦輪の速度 / 硝子溶解問題 / 誤差評価定数 / 溶融硝子対流 / Validated computation / Neutral net computation / Earth mantle current / Fundamental solution method / Drichlet to Neumann mapping / Radiation and scattering problem / 混合法 / 多層流 / 放射境界条件 / 構造音場連成問題 / 外部放射問題 / 特異行列 / 四面体一次要素 / 亀裂進展問題 / ディリクレ・ノイマン写像 / ニューロ計算 / 地球マントル流 / 基本解近似解法 / デイリクレ・ノイマン写像 / 放射散乱問題 / 保存系 / Optimization algorithm / Mathem atical modeling / Free surface problem / Multi-phase flow / Ecosystem / Numerical analysis / Complex systems / 数学的モデル / 複雑形状 / 最適化 / ニューラルネットワーク / 反復解法 / 大規模連立一次方程式 / 沿岸生態系 / 油濁 / 最適化アルゴリズム / 数理モデル / 多相流 / 生態系 / 複雑系 / infinite / arbitrary / verification / spectral method / simulation / parallel computing / multiple precision / 高精度 / 無限精度 / 任意精度 / 計算機支援 / 無限 / 任意 / スペクトル法 / シミュレーション / 多倍長 / Taylor-Couette problem / Heat convection problem / Dynamical system / Bifurcation from degenerate singular points / Global bifurcation structure / Nonlinear PDE / 特異摂動的力学系 / Reynolds数,Rayleigh数 / roll,六角形cell / 退化特異点の摂動 / 大域的な分岐構造 / 燃焼合成反応 / 粘性的衝撃波 / 縮約系の大域的解析 / Taylor問題 / 退化特異点からの分岐 / 大域的分岐構造 / moving boundary problem / mantle convection / external domain problems / error analysis / domain decomposition / 計算機支援証明 / 数値シュミレーション / 糖度保証付き数値計算 / 渦電流問題 / 放射・散乱問題 / 多倍長計算 / 抗力・揚力 / 任意精度数値計算 / 抗力と揚力 / 無限領域問題 / 部分領域法 / eigenvalue problem / numerical analysis / numerical verification / computation with guaranteed accuracy / 誤差解析 / 精度保証付き計算法 / Newton法 / Nonlinear multivariate analysis / Resampling methods / Motion and expansion of a vortex ring / Finite element analysis / Numerical verification / Information-theoretic criteria / Chaotic time series / Nonlinear modeling / 情報量・エントロピー / 特異摂動法 / 多次元離散データ / 非線形時系列 / 完全不積文系 / 地球環境シミュレーション / 並列数値計算 / スプライン / 表面張力 / ブーストラップ法 / 楕円型固有値問題の精度保証 / 共鳴不安定性 / 地球マントル対流有限要素近似 / 識別・判別問題 / 渦糸 / 多変量離散データ / 観測カオス / 非線形モデリング / モデル評価規準 / Nonparametric Tests / Object-Intensive Language / Numerical Solution with Guaranteed Error Bounds / Elliptic Boundary Value Problems / Equivalence tests / Nonlinear Models / Bootstrap Methods / Information Criteria / ノンパラメトリック検定 / オブジェクト指向型言語 / 楕円型境界値問題 / 同等性検定 / Computational mathematical sciences / Stability / Discretization / Numerical solutions / Differential equations / Evolution systems / Mathematical modelling / 時間発展系 / computation with guaranteed error bounds / Navier-Stokes equations / parallel computation algorithm / domain decomposition method / leak boundary condition / vortex method and vortex sheet / SOR-ニュートン法 / 数値流体力学 / 数値解の誤差評価 / 差分微分方程式 / 漏洩・透過境界条件 / 並列計算アルゴリズム / 渦法と渦層 / 揚力・抗力の数値計算 / configuration space / intersection theory / hypergeometric / Hasse不変量 / pfaffian / 量子群 / Capelli恒等式 / Selberg型積分 / 交叉理論 / twisted cohomology / twisted cycles / twisted(co)homology / 配置空間 / 交点理論 / 超幾何 / mathematical modelling / interval arithmetic / free boundary-value problem / linear system of equations / numerical solution of differential equations / numerical algorithm / 精度保証付きアルゴリズム / スーパーコンピューテイング / 大規模方程式系 / 数値的安定性 / 常微分方程式系 / 発展方程式 / 区間演算 / 流体力学的方程式 / 連立線型方程式 / 微分方程式数値解法 / 数値アルゴリズム / Generating function of chaotic mapping / Double exponential transformation / Reaction Diffusion system / Dimension reduction method / Finete element method / Free surface waves of fluid / Validated numerical analysis / Taylor渦 / 自動微分法 / 塑性振動解析 / 区間演算ソフトウェア- / 界面の運動 / 逆問題 / 準周期解 / 脳高次機能のモデル / 流体の自由表面問題 / 区間演算ソフトウェアー / 精度保証つき数値計算 / ニュートン法 / カオカ写像の母関数 / 二重指数型変換 / 低次元逓減法 / 流体の自由表面波 / 検証つき数値解析 / Nonstandard Analysis / Concurrency / Axiomatic Set Theory / Formal Methods / Complex Systems / 述語論理 / 並行プロセス / 超準解析 / 並行性 / 公理的集合論 / 形式的方法 / 複雑システム / Semi linear elliptic partial differential equations / Super parallel high speed computation / Numerical computation with result verification / Mathematical model for phytoplankton and marine plants / Finite element approximation of electro-magnetic field problem / Steklov operator / Convection diffusion difference scheme. / Non-stationary Iinear water wave problem / 静電場・静磁場の有限要素数値解析 / 自動数値積分法 / 線形化磁気流体系 / 三次精度有限要素移流スキ-ム / 界面における反応機構の数理モデル / 数値積分法 / 植物性プランクトンと栄養塩の数理モデル / 外部領域問題の有限要素近似 / 移流拡散差分スキ-ム / 水の波固有値問題 / 半線形楕円型偏徴分方程式 / 植物性プランクトン藻類等の数理モデル / スチエクロフ作用素 / 半線形楕円型偏微分方程式 / 超並列高速計算 / 植物性プランクトンと藻類等の数理モデル / 電磁場問題の有限要素近似 / スチェクロフ作用素 / 移流拡散差分スキーム / 水の波線形非定常問題 / 予測確率 / 二階線型楕円型境界値問題 / 一意化微分方程式 / ヒルベルトモジュラー多様体 / 調和的ケーラー葉層構造 / ピンチング問題 / 分岐 / 拡大写像 / CAR代数 / CCR代数 / 縮小作用素 / 無限次元リー代数 / ガレルキン法 / 力学的対称性 / グロタンディェックの不等式 / 作用素イデアル / C^*-代数 / 数値実験 / 収束性 / ガレルキン近似 / 有限要素近似 / 放射冷却問題 / 逆Laplace変換 / 高精度シミュレーション / 非適切問題解析 / 逆問題解析 / 応用解析学 / 多倍長数値計算 / 情報数理 / 事前事後誤差評価 / 特性曲線法 / ナヴィエ・ストークス問題 / 本質的スペクトル / 渦群緩和振動 / エネルギー安定性 / 混相流 / 多孔質媒体流 / 創生解 / 二流体問題 / 特性曲線有限要素法 / 非圧縮粘性流体 / 数値数式融合計算 / 不等式制約 / 限定子除去法 / 最適化問題 / 多項式イデアル分解 / パラメトリックシステム / 不等式制約解法 / Groebner基底 / 代数制約解法 / 記号・代数計算 / 精度保証付数値計算法 / 補間空間論 / 数式処理 / 計算解析学 / Muirhead平均 / 定値形式 / 階段関数 / 実解析 / 数式処理ソフト / 不等式 / 補間関手 / 計算機解析学 / 統計的推測理論 / 多次元離散型データ解析 / 微値的検証法 / 微分不可能計画 / 不等式相条件 / 包絡線 / 動節点 / 最適性条件 / 最良近似 / 双曲型偏微分方程式 / 折れ線近似 / 微分不可能最適化 / 二値データ / 総計数字 / スプライン関数 / ルジャンドル条件 / 非線形楕円型方程式 / 最良近似問題 / 最適制御問題 / 非線形計画法 / スタンダードモノミアル理論 / 帯球函数 / 量子一般線形群GL_-q(n+1) / 大久保理論 / 超幾何函数 / ヤン-バクスター方程式 / q-差分系 / q-セルバーグ積分 / カメロン・マルチン空間 / 確率移動 / 徑比不等式 / 大域密度定理 / O-1法則 / ループ群上のウイーナー測度 / 作用群 / 測度の連続性 Less
  • Research Projects

    (51 results)
  • Research Products

    (309 results)
  • Co-Researchers

    (120 People)
  •  偏微分方程式の解に対する数値的検証法の新たな高度化の研究Principal Investigator

    • Principal Investigator
      中尾 充宏
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
    • Research Institution
      Waseda 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
  •  Innovative research for self-validating numerical method of infinite dimensional problemsPrincipal Investigator

    • Principal Investigator
      NAKAO MITSUHIRO
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
    • Research Institution
      Waseda University
  •  A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimensionPrincipal Investigator

    • 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
  •  Numerical verification method of solutions for nonlinear evolutional equationsPrincipal Investigator

    • 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
  •  Optimal estimation for inverse of infinite-dimensional operator by self-validating numerical computations and its applications

    • 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
  •  Development of computer assisted analysis for complicated nonlinear phenomenaPrincipal Investigator

    • 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
  •  Foundation of high accuracy computational methods on the multiple-precision computer environment and its applications to analysi of inverse problems

    • Principal Investigator
      ISO Yuusuke
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyoto 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
  •  数値処理と数式処理の融合による計算機援用解析学の可能性に関する基礎的研究Principal Investigator

    • Principal Investigator
      中尾 充宏
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Research of applied analysis toward the global theory for nonlinear systems

    • Principal Investigator
      NISHIDA Takaaki
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • 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
  •  Synthetic approach for the development of computer assisted analysis from the numerical verification methodsPrincipal Investigator

    • Principal Investigator
      NAKAO Mitsuhiro
    • Project Period (FY)
      2003 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSHU UNIVERCITY
  •  記号・代数計算による最適化問題解法と定理自動証明の研究

    • Principal Investigator
      横山 和弘
    • Project Period (FY)
      2002 – 2003
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Applied Analysis for Nonlinear Systems

    • Principal Investigator
      NISHIDA Takaaki
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyoto University
  •  計算機による解析学創設の可能性に関する基礎的研究Principal Investigator

    • Principal Investigator
      中尾 充宏
    • 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
  •  Construction of Numerical Analysis for High-performance Large-Scale Computation

    • Principal Investigator
      TABATA Masahisa
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Synthetic approach for new developments of self-validating numericsPrincipal Investigator

    • Principal Investigator
      NAKAO Mitsuhiro
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  保存系の計算数理の総合的研究

    • Principal Investigator
      三井 斌友
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Study on non-standard finite element approximation methods for partial differential equations

    • Principal Investigator
      KAKO Takashi
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      The University of Electro-Communications
  •  Construction of a Practical Computation Code for Heat Convection Problems with Slow Flow

    • Principal Investigator
      TABATA Masahisa
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSHU UNIVERSITY
  •  計算機環境での理論的解析学遂行のための基礎研究

    • Principal Investigator
      吉川 敦
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Basic analysis
    • Research Institution
      Kyushu University
  •  New Numerical Methods for Flow Problems and their Numerical Simulation

    • Principal Investigator
      TABATA Masahisa
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Comprehensive Research Toward the Global Theory for the System of Nonlinear Partial Differential Equations

    • Principal Investigator
      NISHIDA Takaaki
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      Global analysis
    • Research Institution
      KYOTO UNIVERSITY
  •  Research on infinite precision numerical simulation of partial differential equations

    • Principal Investigator
      IMAI Hitoshi
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      The University of Tokushima
  •  Coordinative research on numerical analysis of complex systems and optimal control

    • Principal Investigator
      KAWARADA Hideo
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Chiba University
  •  Self-validating numerics with applications to computational science and technologyPrincipal Investigator

    • Principal Investigator
      KANAO Maitsuhiro
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSHU UNIVERSITY
  •  NONLINEAR STATISTICAL MODELING AND MODEL EVALUATION

    • Principal Investigator
      KONISHI Sadanori
    • Project Period (FY)
      1997 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSHU UNIVERSITY
  •  Development of practical methods for rigorous calculation with guaranteed accuracy

    • Principal Investigator
      YAMAMOTO Nobito
    • Project Period (FY)
      1997 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      The University of Electro-Communications
      Kyushu University
  •  最適制御問題と最良近似問題の研究

    • Principal Investigator
      川崎 英文
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Numerical Analysis of Evolution Systems

    • Principal Investigator
      MITSUI Taketomo
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      NAGOYA UNIVERSITY
  •  New Approaches to Scientific Computing and Applied AnalysisPrincipal Investigator

    • Principal Investigator
      NAKAO Mitsyhiro
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSYU UNIVERSITY
  •  Evaluation of Predictive Distributions based on Information and Entropy

    • Principal Investigator
      KONISHI Sadanori
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSYU UNIVERSITY
  •  最適化と最良近似

    • Principal Investigator
      川崎 英文
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Co-operative Research on Numerical Solutions in Seience and Technology

    • Principal Investigator
      TABATA Masahisa
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      HIROSHIMA UNIVERSITY
  •  多次元離散型データ解析のための正規直交化多次元スコア検定

    • Principal Investigator
      柳川 尭
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  関数方程式の解に対する精度保証付き数値計算法Principal Investigator

    • Principal Investigator
      中尾 充宏
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Geometric study of linear differential equations in complex variables

    • Principal Investigator
      YOSHIDA Masaaki
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      解析学
    • Research Institution
      KYUSHU UNIVERSITY
  •  量子群・共形場・可解格子模型・ホロノミック q-差分系の相互理解

    • Principal Investigator
      MIMACHI Katsuhisa
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Kyushu University
  •  非線形最適化の基礎理論とその応用

    • Principal Investigator
      川崎 英文
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  確率測度の無限次元級数解析と距離解析

    • Principal Investigator
      佐藤 坦
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Kyushu University
  •  微分方程式に対する精度保証付き数値計算法Principal Investigator

    • Principal Investigator
      中尾 充宏
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  Comprehensive Study on Fundamental and Applied Numerical Algorithms

    • Principal Investigator
      MITSUI Taketomo
    • Project Period (FY)
      1992 – 1994
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Synthetical Researches on Applied Analysis and Computational Mathematics

    • Principal Investigator
      NISHIDA Takaaki
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYOTO UNIVERSITY
  •  関数方程式に対する自己検証的数値計算法Principal Investigator

    • Principal Investigator
      中尾 充宏
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  ALL ROUND STUDY FOR THE NUMERICAL METHODS IN SCIENCE AND TECHNOLOGY

    • Principal Investigator
      USHIJIMA Teruo
    • Project Period (FY)
      1990 – 1992
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      THE UNIVERSITY OF ELECTRO-COMMUNICATIONS
  •  Computing Science and Complex systems

    • Principal Investigator
      TANAKA Syunichi
    • Project Period (FY)
      1990 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  無限次元の問題に対する数値計算法Principal Investigator

    • Principal Investigator
      中尾 充宏
    • Project Period (FY)
      1989
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu University
  •  力学系とその分岐の大域的、位相幾何学的研究

    • Principal Investigator
      矢野 公一
    • Project Period (FY)
      1988
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      代数学・幾何学
    • Research Institution
      Kyushu University
  •  無限自由度の系における数理解析的研究

    • Principal Investigator
      加藤 幹雄
    • Project Period (FY)
      1987
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu Institute of Technology
  •  数理物理にあらわれる非線形偏微分方程式の数値解析的研究

    • Principal Investigator
      石原 和夫
    • Project Period (FY)
      1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyushu Institute of Technology

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

All Journal Article Presentation Book

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

    • Author(s)
      Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
    • Total Pages
      467
    • Publisher
      Springer Nature Singapore
    • ISBN
      9789811376689
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [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-20224001
  • [Book] Special Issue : State of the Art for Self-Validating Numerical Computations2009

    • Author(s)
      M.T.Nakao, et al
    • Total Pages
      411
    • Publisher
      Japan Journal of Industrial and Applied Mathematics
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Book] State of the Art for Self-Validating Numerical Computations, Japan Journal of Industrial and Applied Mathematics2009

    • Author(s)
      Nakao, M. T., and Oishi, S.
    • Total Pages
      411
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Book] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • Author(s)
      田端正久, 中尾充宏
    • Total Pages
      120
    • Publisher
      講談社
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Book] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • Author(s)
      田端 正久, 中尾 充宏
    • Publisher
      講談社
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Book] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価現代技術への数学入門シリーズ2008

    • Author(s)
      田端正久,中尾充宏
    • Publisher
      講談社
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Book] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • Author(s)
      田端正久, 中尾充宏
    • Total Pages
      126
    • Publisher
      講談社
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Book] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価,現代技術への数学入門シリーズ2008

    • Author(s)
      田端正久・中尾充宏
    • Publisher
      講談社
    • Data Source
      KAKENHI-PROJECT-20224001
  • [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] Rigorous numerical inclusion of the blow-up time for the Fujita-type equation2022

    • Author(s)
      Mizuguchi Makoto, Sekine Kouta, Hashimoto Kouji, Nakao Mitsuhiro T., Oishi Shin’ichi
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 40 Issue: 1 Pages: 665-689

    • DOI

      10.1007/s13160-022-00545-8

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-18K13462
  • [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] Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation2022

    • Author(s)
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • Journal Title

      Computational Methods in Applied Mathematics

      Volume: 22 Issue: 3 Pages: 631-647

    • DOI

      10.1515/cmam-2022-0015

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K03752, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-22K03417, KAKENHI-PROJECT-19K03623
  • [Journal Article] Computer-assisted proof for the stationary solution existence of the Navier?Stokes equation over 3D domains2022

    • Author(s)
      Liu Xuefeng、Nakao Mitsuhiro T.、Oishi Shin’ichi
    • Journal Title

      Communications in Nonlinear Science and Numerical Simulation

      Volume: 108 Pages: 106223-106223

    • DOI

      10.1016/j.cnsns.2021.106223

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-23K20810, KAKENHI-PROJECT-20H01820
  • [Journal Article] Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation2021

    • Author(s)
      M. Mizuguchi, M. T. Nakao, K. Sekine, S. Oishi
    • Journal Title

      Journal of Scientific Computing

      Volume: 89 Issue: 2

    • DOI

      10.1007/s10915-021-01636-3

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-18K13462, KAKENHI-PROJECT-18K03434
  • [Journal Article] Numerical verification methods for a system of elliptic PDEs, and their software library2021

    • Author(s)
      K. Sekine, M. T. Nakao, S. Oishi
    • Journal Title

      NOLTA

      Volume: 12 Issue: 1 Pages: 41-74

    • DOI

      10.1587/nolta.12.41

    • NAID

      130007965490

    • ISSN
      2185-4106
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-18K03434
  • [Journal Article] A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems2021

    • Author(s)
      K. Sekine, M. T. Nakao, S. Oishi, M. Kashiwagi
    • Journal Title

      Applied Numerical Mathematics

      Volume: 169 Pages: 87-107

    • DOI

      10.1016/j.apnum.2021.06.011

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-18K03434
  • [Journal Article] Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations2021

    • Author(s)
      Liu Xuefeng, Nakao Mitsuhiro T., You Chun’guang, Oishi Shin’ichi
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 未定 Issue: 2 Pages: 545-559

    • DOI

      10.1007/s13160-020-00449-5

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-18K03434
  • [Journal Article] Numerical Verification of Solutions for Nonlinear Parabolic Problems2020

    • Author(s)
      Hashimoto Kouji、Kinoshita Takehiko、Nakao Mitsuhiro T.
    • Journal Title

      Numerical Functional Analysis and Optimization

      Volume: 41 Issue: 12 Pages: 1495-1514

    • DOI

      10.1080/01630563.2020.1777159

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [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] A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator2020

    • Author(s)
      Sekine Kouta、Nakao Mitsuhiro T.、Oishi Shin’ichi
    • Journal Title

      Numerische Mathematik

      Volume: 146 Issue: 4 Pages: 907-926

    • DOI

      10.1007/s00211-020-01155-7

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Journal Article] Constructive error estimates for full discrete approximation of periodic solution for heat equation2020

    • Author(s)
      Kimura Takuma、Minamoto Teruya、Nakao Mitsuhiro T.
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 368 Pages: 112510-112510

    • DOI

      10.1016/j.cam.2019.112510

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-19K03623, KAKENHI-PROJECT-17K17948
  • [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] Constructive error analysis of a fulldiscrete finite element method for the heat equations2019

    • Author(s)
      Hashimoto, K., Kimura, T., Minamoto, T., Nakao, M.T.
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 36 Issue: 3 Pages: 777-790

    • DOI

      10.1007/s13160-019-00362-6

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03434, KAKENHI-PROJECT-18K03440, KAKENHI-PROJECT-19K03623, KAKENHI-PROJECT-17K17948
  • [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] 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] Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation2017

    • Author(s)
      T. Kimura, T. Minamoto, M. T. Nakao
    • Journal Title

      Reliable Computing

      Volume: 25 Pages: 201-212

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [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] 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 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] Recurrence relations of orthogonal polynomials in <I>H</I><sub>0</sub><sup>1</sup> and <I>H</I><sub>0</sub><sup>2</sup>2015

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

      NOLTA

      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] On verified computations of solutions for nonlinear parabolic problems2014

    • Author(s)
      M.T. Nakao
    • Journal Title

      NOLTA

      Volume: 5 Issue: 3 Pages: 320-338

    • DOI

      10.1587/nolta.5.320

    • NAID

      130004555685

    • ISSN
      2185-4106
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Journal Article] On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems2014

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

      Numerische Mathematik

      Volume: 126 Issue: 4 Pages: 679-701

    • DOI

      10.1007/s00211-013-0575-z

    • NAID

      120005434971

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23740074, KAKENHI-PROJECT-24540151
  • [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] Numerical verification method of solutions for nonlinear elliptic and evolutional problems2014

    • Author(s)
      Mitsuhiro T. Nakao
    • Journal Title

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

      Volume: 1905 Pages: 112-131

    • Open Access
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Journal Article] Some remarks on the instability of approximate solutions for ODEs2013

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

      Nonlinear Theory and Its Applications, IEICE

      Volume: 4 Pages: 80-87

    • NAID

      130003375413

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Journal Article] Constructive a priori error estimates for a full discrete approximation of the heat equation2013

    • Author(s)
      M. T. Nakao
    • Journal Title

      SIAM Journal on Numerial Analysis

      Volume: 未定

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24540151
  • [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] On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems2012

    • Author(s)
      M. T. Nakao
    • Journal Title

      Computing

      Volume: 94 Pages: 151-162

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Journal Article] On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems2012

    • Author(s)
      M. T. Nakao, T. Kinoshita, T. Kimura
    • Volume
      94
    • Pages
      151-162
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Eigenvalue excluding for perturbed-periodic one-dimensional Schrodinger operators2012

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

      Proceedings of the Royal Society A

      Volume: 468 Issue: 2138 Pages: 545-562

    • DOI

      10.1098/rspa.2011.0159

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001, KAKENHI-PROJECT-24540151
  • [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] 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] A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations2011

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

      Journal of Computational and Applied Mathematics

      Volume: 236 Pages: 1622-1636

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems2011

    • Author(s)
      M.T.Nakao
    • Journal Title

      Computing

      Volume: 94 Pages: 151-162

    • 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] A numerical verification method for a periodic solution of a delay differential equation2010

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

      Journal of Computational and Applied Mathematics

      Volume: 235 Pages: 870-878

    • 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, 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] On very accurate enclosure of the optimal constant in the a priori error estimates for $H^2_0$-projection2010

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

      Journal of Computational and Applied Mathematics

      Volume: 234 Pages: 526-537

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] On very accurate enclosure of the optimal constant in the a priori error estimates for$ H^2_0$-projection2010

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

      Journal of Computational and Applied Mathematics

      Volume: 234 Pages: 526-537

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [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] 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 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 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] On very accurate verification of solutions for boundary value problems by using spectral methods2009

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

      JSIAM Letters 1

      Pages: 21-24

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [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] On the L2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator2009

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

      Numerical Functional Analysis and Optimization 30

      Pages: 289-305

    • 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 numerical verification method for solutions of nonlinear parabolic problems2009

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

      Journal of Math-for-Industry

      Pages: 69-72

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] On the$ L^2$ a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator2009

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

      Numerical Functional Analysis and Optimization

      Volume: 30 Pages: 289-305

    • 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] 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] On very accurate verification of solutions for boundary value problems by using spectral methods2009

    • Author(s)
      M.T.Nakao, et al
    • Journal Title

      JSIAM Letters 1

      Pages: 21-24

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A numerical verification method for solutions of nonlinear parabolic problems2009

    • Author(s)
      M.T.Nakao, et al
    • Journal Title

      Journal of Math-for-Industry, JMI2009A-9

      Pages: 69-72

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

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

      Numerische Mathematik Vol.111

      Pages: 389-406

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19340022
  • [Journal Article] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

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

      Applied Mathematics Letters (掲載決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17654026
  • [Journal Article] On guaranteed error bounds of finite element approximations for non-coercive elliptic problems and its applications2008

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

      Journal of Computational and Applied Mathematics (掲載決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17654026
  • [Journal Article] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • Author(s)
      M.T.Nakao and T.Kinoshita
    • Journal Title

      Applied Mathematics Letters to appear(印刷中)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • Author(s)
      Mitsuhiro T. Nakao
    • Journal Title

      Journal of Computational and Applied Mathematics 218

      Pages: 106-115

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A computational approach to constructive a priori and a posteriori errorestimates for finite element approximations of bi-harmonic problems2008

    • Author(s)
      M. T. Nakao, et al.
    • Journal Title

      GAKUTO International Series, Mathematical Sciences and Applications 28

      Pages: 139-148

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of Bi-Harmonic problems2008

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

      GAKUTO International Series, Mathematical Sciences and Applications 28

      Pages: 139-148

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

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

      Journal of Computational and Applied Mathematics 218

      Pages: 106-115

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Some remarks on the behavior of the finite element solution in nonsmooth domains2008

    • Author(s)
      Nakao, M. T., et al
    • Journal Title

      Applied Mathematics Letters 21

      Pages: 1310-1314

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

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

      Applied Mathematics Letters 21

      Pages: 1310-1314

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

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

      Journal of Computational and Applied Mathematics 218

      Pages: 106-115

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • Author(s)
      Nakao, M. T., et al
    • Journal Title

      Journal of Computational and Applied Mathematics 218

      Pages: 106-115

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [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 remarks on the behaviour of the finite element solution in nonsmooth domains2008

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

      Applied Mathematics Letters

      Volume: 21 Pages: 1310-1314

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Some remarks on the behavior of the finite element solution in nonsmooth domains2008

    • Author(s)
      M. T. Nakao, et al.
    • Journal Title

      Applied Mathematics Letters 21

      Pages: 1310-1314

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Guaranteed error bounds of finite element approximations for non-coercive elliptic problems and its applications2008

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

      Journal of Computational and Applied Mathematics 218:1

      Pages: 106-115

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2008

    • Author(s)
      Nakao, M. T., et al
    • Journal Title

      GAKUTO International Series, Mathematical Sciences and Applications 28

      Pages: 139-148

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

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

      Journal of Computational and Applied Mathematics

      Volume: 218 Pages: 106-115

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Journal Article] A computational approach to constructive a priori and aposteriori error estimates for finite element approximations of bi-harmonic problems2008

    • Author(s)
      Mitsuhiro T. Nakao
    • Journal Title

      GAKUTO International Series, Mathematical Sciences and Applications 28

      Pages: 139-148

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] Some remarks on the behaviour of'the finite element solution in nonsmooth domains2008

    • Author(s)
      Mitsuhiro T. Nakao
    • Journal Title

      Applied Mathematics Letters 21

      Pages: 1310-1314

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] Numerical verification ofstationary solutions for Navier-Stokes problems2007

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

      Journal of Computational and Applied Mathematics 199

      Pages: 424-431

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Journal Article] Numerical verification of stationary solutions for Navier-Stokes problems2007

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

      Journal of Computational and Applied Mathematics 199

      Pages: 445-451

    • NAID

      120000981497

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains2007

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

      Hokkaido Mathematical Journal 36

      Pages: 777-799

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17654026
  • [Journal Article] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • Author(s)
      T.Minamoto and M.T.Nakao
    • Journal Title

      Journal of Computational and Applied Mathematics 1

      Pages: 177-185

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Verified numerical computation of solutions for the stationary Navier-Stokesequation in nonconvex polygonal domains2007

    • Author(s)
      M.T.Nakao, et. al.
    • Journal Title

      Hokkaido Mathematical Journal 36

      Pages: 777-799

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] On guaranteed error bounds of finite element approximations for non-coerciveelliptic problems and its applications2007

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

      Journal of Computational and Applied Mathematics to appear(印刷中)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Verified numerical computation of solutions for Navier-Stokes equation2007

    • Author(s)
      K.Nagatou, M.T.Nakao, et. al.
    • Journal Title

      Hokkaido Mathematical Journal 36

      Pages: 777-799

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Journal Article] Numerical verification of stationary solutions for Navier-Stokes problems2007

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

      Journal of Computational and Applied Mathematics 199

      Pages: 445-451

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

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

      Journal of Computational and Applied Mathematics 202

      Pages: 177-185

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains2007

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

      Hokkaido Mathematical Journal 36

      Pages: 777-799

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems, to appear in.2007

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

      GAKUTO International Series, Mathematical Sciences and Applications, Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics, May 26-28, 2005, Hayama, Japan (To appear)

    • Data Source
      KAKENHI-PROJECT-17654026
  • [Journal Article] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2007

    • Author(s)
      M.T.Nakao, et al.
    • Journal Title

      GAKUTO International Series, Mathematical Sciences and Applications to appear(印刷中)

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Numerical verification of stationary solutions for Navier-Stokes problems2007

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

      Journal of Computational and Applied Mathematics 199

      Pages: 424-431

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] Numerical verification of stationary solutions for Navier Stokes problems2007

    • Author(s)
      M. T. Nakao, et. al.
    • Journal Title

      J. of Computational and Applied Mathematics vol.19

      Pages: 424-431

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Journal Article] Numerical verification of stationary solutions for Navier-Stokes problem2007

    • Author(s)
      M.T.Nakao, et. al.
    • Journal Title

      J.of Computational and Applied Mathematics 199

      Pages: 424-431

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Journal Article] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

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

      Journal of Computational and Applied Mathematics 202

      Pages: 177-185

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] A numerical verification of bifurcation points for nonlinear heat convection problems2006

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

      Proc. 2nd Intern. Conf. on From Scientific computing to Computational Engineering, Athen, July 5-8, 2006 2

      Pages: 1-8

    • Data Source
      KAKENHI-PROJECT-17340027
  • [Journal Article] A numerical verification of bifurcation points for nonlinear heat convection problems2006

    • Author(s)
      M.T.Nakao
    • Journal Title

      Proceedings of 2nd International Conference "From Scientific Computing to Computational Engineering", Athen, 5-8 July, 2006

      Pages: 8-8

    • Data Source
      KAKENHI-PROJECT-17654026
  • [Journal Article] A numerical verification of bifurcation points for heat convection2006

    • Author(s)
      M.T.Nakao, T.Nishida, et. al.
    • Journal Title

      Proc.Conf.on Scientific Computing, Athen 2nd Proc.

      Pages: 8-8

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Journal Article] Some computer assisted proofs on 3-D heat convection problems2006

    • Author(s)
      M.T.Nakao, T.Nishida, et. al.
    • Journal Title

      Proc.of Nonlinear Theory and its Appl.NOLTA NOLTA'06

      Pages: 427-430

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Journal Article] A numerical verification of bifurcation points for nonlinear heat convection problems2006

    • Author(s)
      M.T.Nakao
    • Journal Title

      the Proceedings of 2nd International Conference "From Scientific Computing to Computational Engineering", 2006

      Pages: 8-8

    • Data Source
      KAKENHI-PROJECT-15204007
  • [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] A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains2006

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

      Information 9

      Pages: 573-580

    • NAID

      120000981499

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] Numerical Verification Methods of Solutions for the Free Boundary Problems2005

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

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

      Pages: 523-542

    • Data Source
      KAKENHI-PROJECT-17002012
  • [Journal Article] Numerical verification methods for solutions for the free boundary problems2005

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

      Numerical Functional Analysis and Optimization 26

      Pages: 523-542

    • Peer Reviewed
    • 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)
      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] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

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

      Computing 75

      Pages: 1-14

    • NAID

      120000981466

    • Data Source
      KAKENHI-PROJECT-15204007
  • [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] 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 75

      Pages: 1-14

    • NAID

      120000981466

    • Data Source
      KAKENHI-PROJECT-17340027
  • [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] A numerical method to verify the invertibility of linear elliptic operators with applicationsto nonlinear problems2005

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

      Computing 75

      Pages: 1-14

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15204007
  • [Journal Article] A numerical method to verify the inevitability of linear elliptic operators with applications to nonlinear problems2005

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

      Computing 75

      Pages: 1-14

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15204007
  • [Journal Article] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2005

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

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

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

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

      Computing 75

      Pages: 1-14

    • Data Source
      KAKENHI-PROJECT-17654026
  • [Journal Article] A computational approach to constructive a priori and a posteriori est2005

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

      Proc.of the 4th JSIAM-SIMAI Seminar Gakuto J.

      Pages: 5-5

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17340027
  • [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] Numerical verification methods for solutions of the free boundary problems2005

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

      Numerical Functional Analysis and Optimization 26・4-5

      Pages: 523-542

    • 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] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

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

      Numerical Algorithms 37

      Pages: 311-323

    • Data Source
      KAKENHI-PROJECT-15204007
  • [Journal Article] Numerical enclosure of solutions for two dimensional driven cavity problems2004

    • Author(s)
      Mitsuhiro T.Nakao, K.Nagatou, K.Hashimoto
    • Journal Title

      Proceedings of 4th European Congress on Computational Methods in Applied Science and Engineering (ECCOMAS 2004)

      Pages: 10-10

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14340035
  • [Journal Article] Numerical enclosure of solutions for two dimensional driven cavity problems2004

    • Author(s)
      Mitsuhiro T.Nakao, K.Nagatou, K.Hashimoto
    • Journal Title

      Proceedings of 4th European Congress on Computational Methods in Applied Science and Engineering (ECCOMAS 2004) 10

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14340035
  • [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] Numerical enclosure of solutions for two dimensional driven cavity problems, in Proceedings of 4th European Congress on Computational Methods2004

    • Author(s)
      Nakao, Mitsuhiro T., Nagatou, K., Hashimoto, K.
    • Journal Title

      Applied Science and Engineering(ECCOMAS 2004) 1

      Pages: 10-31

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

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

      Numerical Algorithms 37, Special issue for Proceedings of SCAN2002

      Pages: 311-323

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15204007
  • [Journal Article] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

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

      Numerical Algorithms 37

      Pages: 311-323

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15204007
  • [Journal Article] Some computer assisted proofs for solutions of the heat convection problems2003

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

      Reliable Computing 9

      Pages: 359-372

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15204007
  • [Journal Article] Some computer assisted proofs for solutions of the heat convection problems2003

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

      Reliable Computing 9

      Pages: 359-372

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15204007
  • [Journal Article] A numerical method to verify the invertibility of liner elliptic operators with applications to nonlinear problems

    • Author(s)
      Nakao, M.T.et al.
    • Journal Title

      Computing 発表予定

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

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

      Computing (掲載予定)

    • Data Source
      KAKENHI-PROJECT-15204007
  • [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] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems

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

      GAKUTO International Series, Mathematical Sciences and Applications, Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics, May 26-28,2005,Hayama, Japan (to appear)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15204007
  • [Journal Article] Numerical verification of stationary solutions for Navier-Stokes problems

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

      Journal of Computational and Applied Mathematics (to appear)

    • NAID

      120000981497

    • Data Source
      KAKENHI-PROJECT-16104001
  • [Journal Article] On the L2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator

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

      Numerical Functional Analysis and Optimization (to appear)

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

    • Author(s)
      M.T.Nakao, et al
    • Journal Title

      Journal of Scientific Computing, Proc. International Conference on Recent Develop ments of Numerical Schemes for Flow Problems DOI 10.1007/s10915-009-9303-3 (印刷中)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 発展作用素を用いた初期値問題の精度保証付き数値計算~変則的位相を用いた大域解検証への適用について~2024

    • Author(s)
      橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏
    • Organizer
      日本応用数理学会第20回研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2024

    • Author(s)
      木下 武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      日本応用数理学会第20回研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 発展作用素を用いた初期値問題の精度保証付き数値計算~単調性を用いた爆発解検証への適用について~2024

    • Author(s)
      橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏
    • Organizer
      日本応用数理学会第20回研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-23K20810
  • [Presentation] 発展作用素を用いた初期値問題の精度保証付き数値計算~単調性を用いた爆発解検証への適用について~2024

    • Author(s)
      橋本 弘治, 水口 信, 関根 晃太, 中尾 充宏
    • Organizer
      日本応用数理学会第20回研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] On some convergence properties for the nite dimensional approximation of linearized inverse elliptic operator2024

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      Workshop of Computational Science and Information Engineering 2024
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] Constructive error estimates for a full-discretized periodic solution of heat equation2023

    • Author(s)
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • Organizer
      ICIAM 2023 Tokyo, Minisymposium No.02448
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 2 階楕円型線形作用素に対する近似逆作用素ノルムの収束オーダー評価2023

    • Author(s)
      木下武彦, 渡部善隆, 中尾充宏
    • Organizer
      2023年 日本数学会 年会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] Constructive error estimates for a full-discretized periodic solution of heat equation2023

    • Author(s)
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • Organizer
      ICIAM 2023 Tokyo
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K20810
  • [Presentation] 放物型方程式の全離散近似解に対する定量的な誤差評価2023

    • Author(s)
      水口 信, 中尾充宏, 橋本弘治, 関根晃太, 大石進一
    • Organizer
      日本数学会 秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 精度保証の観点から見た有限要素法の誤差評価について2023

    • Author(s)
      中尾充宏
    • Organizer
      隠岐島応用数学研究会
    • Invited
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 楕円型作用素の可逆性検証の効率化に関する一考察2023

    • Author(s)
      中尾充宏
    • Organizer
      環瀬戸内ワークショップ
    • Invited
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 楕円型線形作用素に対する近似逆作用素ノルムの収束性評価2023

    • Author(s)
      木下武彦, 渡部善隆, 中尾充宏
    • Organizer
      日本応用数理学会 第19回(2022年度)研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 放物型方程式の全離散近似解に対する定量的な誤差評価2023

    • Author(s)
      水口 信, 中尾充宏, 橋本弘治, 関根晃太, 大石進一
    • Organizer
      日本数学会 秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-23K20810
  • [Presentation] 有限要素法による楕円型近似逆作用素ノルムの収束オーダーについて2023

    • Author(s)
      中尾充宏
    • Organizer
      科学計算・計測工学連携ワークショップ
    • Invited
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 放物型方程式の全離散近似 に対する誤差評価について2022

    • Author(s)
      水口信, 中尾充宏, 橋本弘治, 関根晃太, 大石進一
    • Organizer
      日本応用数理学会 2022年度 年会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] On some convergence properties of approximate inverse operator norm in FEM2022

    • Author(s)
      M. T. Nakao
    • Organizer
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] Orr-Sommerfeld 方程式の臨界Reynolds数に対する計算機援用証明2022

    • Author(s)
      渡部善隆, 長藤かおり, M. Plum, 木下武彦, 中尾充宏
    • Organizer
      日本数学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本応用数理学会 第18回(2021年度)研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 無限次元線形作用素に対する逆作用素ノルム評価の収束性評価と効率的検証法2022

    • Author(s)
      中尾充宏
    • Organizer
      精度保証付き数値計算理論に関する研究打合せ(京都研究会)
    • Invited
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 2階楕円型境界値問題から導かれる近似作用素ノルムの収束性2022

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本応用数理学会 第18回(2021年度)研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] Orr-Sommerfeld 方程式の臨界Reynolds数に対する計算機援用証明2022

    • Author(s)
      渡部善隆, 長藤かおり, M. Plum, 木下武彦, 中尾充宏
    • Organizer
      日本数学会2022年度年会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] On some convergence properties of approximate inverse operator norm in FEM2022

    • Author(s)
      M. T. Nakao
    • Organizer
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 重調和方程式の近似解に対する構成的誤差評価の改良2021

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本数学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について2021

    • Author(s)
      水口 信, 中尾充宏, 関根晃太, 大石進一
    • Organizer
      日本応用数理学会 2021年度 年会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] On some convergence properties for finite element approximations to the inverse of linear elliptic operators2021

    • Author(s)
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • Organizer
      SCAN'2020
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] On some convergence properties for finite element approximations to the inverse of linear elliptic operators2021

    • Author(s)
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • Organizer
      SCAN'2020
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について2021

    • Author(s)
      水口 信, 中尾充宏, 関根晃太, 大石進一
    • Organizer
      日本応用数理学会 2021年度 年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 重調和方程式の近似解に対する構成的誤差評価の改良2021

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本数学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-21K03378
  • [Presentation] 重調和方程式に対するLegendre多項式を用いた構成的誤差評価2020

    • Author(s)
      渡部善隆、木下武彦、中尾充宏
    • Organizer
      第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 半線形楕円型偏微分方程式の線形化作用素L:D(Δ)→L2に対するSchur補元を用いた逆作用素の表現方法2020

    • Author(s)
      関根晃太、中尾充宏、 大石 進一
    • Organizer
      第4回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 藤田型方程式の解の爆発時間に対する計算機を用いた数値的包含方法について2020

    • Author(s)
      水口信、関根晃太、橋 本弘治、中尾充宏、大石 進一
    • Organizer
      2020年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 半線形楕円型偏微分方程式の解の局所非存在証明法2020

    • Author(s)
      関根晃太、中尾充宏、大石進一
    • Organizer
      日本応用数理学会2020年度年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] Hilbert空間における線形作用素に対する可逆性検証の効率化2020

    • Author(s)
      渡部善隆、木下 武彦、中尾 充宏
    • Organizer
      日本応用数理学会2020年度年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 有界作用素のレゾルベントに対するある近似作用素の強収束性について2020

    • Author(s)
      木下武彦、渡部善隆、 中尾充宏
    • Organizer
      日本数学会年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] A priori error estimates for Poisson’s equation with discontinuous coefficients2020

    • Author(s)
      Kazuaki Tanaka, Mitsuhiro T. Nakao
    • Organizer
      日本応用数理学会 2020年 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] ある楕円型境界値問題から導かれる近似作用素のノルムの収束性2019

    • Author(s)
      木下武彦, 渡部善隆, 中尾充宏
    • Organizer
      2019 年度応用数学合同研究集会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] Constructive error analysis of a full-discrete finite element method for the heat equation2019

    • Author(s)
      Kouji Hashimoto, Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • Organizer
      9th International Congress on Industrial and Applied Mathematics-ICIAM
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 線形熱方程式の解と半離散近似解との誤差評価の改善2019

    • Author(s)
      水口 信, 中尾 充宏, 関根 晃太, 大石 進一
    • Organizer
      日本応用数理学会 2019年度 年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] H^1_0 関数の直交多項式近似に対する2 次の誤差評価の最良定数について2019

    • Author(s)
      木下武彦, 渡部善隆, 山本野人, 中尾充宏
    • Organizer
      日本数学会秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 非線形発展方程式の初期値問題に対する数値的検証法2019

    • Author(s)
      橋本弘治, 中尾充宏
    • Organizer
      第24回 情報・統計科学(BIC)シンポジウム
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 3次元領域におけるNavier-Stokes方程式の定常解の検証2018

    • Author(s)
      劉 雪峰, 中尾 充宏, 大石 進一
    • Organizer
      日本応用数理学会年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] On the a priori error estimates of finite dimensional projections for applications to numerical verification of PDEs2018

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      he 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations(SCAN2018)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] On the constructive error estimates of a full-discrete approximation for time-periodic solution of the heat equations2018

    • Author(s)
      Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
    • Organizer
      The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations(SCAN2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 3 次元領域におけるStokes 方程式の有限要素解の事前誤差評価2018

    • Author(s)
      劉 雪峰、中尾充宏、遊 春光、大石進一
    • Organizer
      日本数学会年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 2 階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善2018

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

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本応用数理学会年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 値域が共役空間となる楕円型作用素に対する精度保証付き可逆性検証2018

    • Author(s)
      木下武彦、渡部善隆、中尾充宏
    • Organizer
      日本数学会年会
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] 近似理論から計算機援用証明への道---偏微分問題の精度保証---2018

    • Author(s)
      中尾充宏
    • Organizer
      第18回早稲田大学 数学・応用数理談話会
    • Invited
    • Data Source
      KAKENHI-PROJECT-18K03434
  • [Presentation] Laplacianノルム評価を援用した楕円型線形作用素の可逆性検証2018

    • Author(s)
      渡部善隆、木下武彦、中尾充宏
    • Organizer
      日本応用数理学会2018年 研究部会連合発表会
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] On the guaranteed error bounds of a new approximation scheme for parabolic problems2017

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      BIRS Workshop, Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [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] Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良2017

    • Author(s)
      木下武彦、渡部善隆、中尾充宏
    • Organizer
      日本数学会秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] 値域が共役空間となる2 階楕円型作用素に対する可逆性検証法の改良2017

    • Author(s)
      木下武彦、渡部善隆、中尾充宏
    • Organizer
      日本応用数理学会2017年度年会
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] On the numerical norm estimation of the inverse operator in Hilbert space2017

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      Dagstuhl Seminar, Reliable Computation and Complexity on the Reals
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] 精度保証付き数値計算による平行Poiseuille 流れの高精度不安定性解析2016

    • Author(s)
      渡部善隆、木下武彦、中尾充宏
    • Organizer
      日本数学会年会
    • Place of Presentation
      筑波大学
    • Year and Date
      2016-03-19
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [Presentation] On the refinement of constructive a priori error estimates of the finite element methods with applications to verified computation for PDEs2016

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      The Sixth China-Japan-Korea Joint Conference on Numerical Mathematics
    • Place of Presentation
      NIMS, Daejeon, Korea
    • Year and Date
      2016-08-22
    • Invited / Int'l Joint Research
    • 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 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] 有限要素法の構成的誤差評価とその計算機援用証明への応用2016

    • Author(s)
      中尾充宏
    • Organizer
      RIMS研究集会:現象解明に向けた数値解析学の新展開II
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2016-10-20
    • Invited
    • Data Source
      KAKENHI-PROJECT-15K05012
  • [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] On constructive higher order a priori error estimates of the finite element methods with applications to validated computation for PDEs2015

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      Workshop, 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-15K05012
  • [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] 2階楕円型作用素における構成的Laplacianノルム評価2014

    • Author(s)
      渡部善隆, 木下武彦, 中尾充宏
    • Organizer
      日本応用数理学会年会
    • Place of Presentation
      政策研究大学院大学
    • Year and Date
      2014-09-03
    • Data Source
      KAKENHI-PROJECT-24540151
  • [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] PDEの周期解の精度保証の現状について2014

    • Author(s)
      木下武彦、木村拓馬、中尾充宏
    • Organizer
      第1回山梨精度保証研究会
    • Place of Presentation
      山梨県甲州市勝沼「ぶどうの丘」
    • Year and Date
      2014-09-16
    • Data Source
      KAKENHI-PROJECT-24540151
  • [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] 2階楕円型線形作用素の可逆性検証に関するいくつかの考察2013

    • Author(s)
      渡部善隆, 木下 武彦, 木村 拓馬, 山本 野人, 中尾 充宏
    • Organizer
      応用数学合同研究集会
    • Place of Presentation
      龍谷大学
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] 発展方程式の解に対する数値的検証法2012

    • Author(s)
      中尾充宏
    • Organizer
      ワークショップ「偏微分方程式の最近の話題2012 in別府」
    • Place of Presentation
      別府国際コンベンションセンター(招待講演)
    • Year and Date
      2012-03-18
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the numerical computation of solutions with guaranteed error bounds for nonlinear parabolic problems2012

    • Author(s)
      Nakao, M.T
    • Organizer
      International Workshop on Computational Science and Numerical Analysis
    • Place of Presentation
      The University of Electro-Communications, Tokyo, JAPAN(招待講演)
    • Year and Date
      2012-03-24
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 線形化逆作用素ノルムの評価に関する計算上の注意2011

    • Author(s)
      木村拓馬、木下武彦、中尾充宏
    • Organizer
      日本応用数理学会2011年研究部会連合発表会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2011-03-08
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 放物型初期境界値問題の数値解に対する精度保証について2011

    • Author(s)
      中尾充宏
    • Organizer
      2011年度RIMS研究集会「科学技術計算における理論と応用の新展開」特別講演
    • Place of Presentation
      京都大学数理解析研究所(招待講演)
    • Year and Date
      2011-10-26
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the verified computation of solutions for parabolic initial-boundary value problems2011

    • Author(s)
      Nakao, M. T
    • Organizer
      Japanese-German Workshop on Computer Assisted Proofs and Verification Methods
    • Place of Presentation
      Karlsruhe Institute of Technology, Karlsruhe, Germany
    • Year and Date
      2011-09-20
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On a posteriori estimates of inverse operators for linear parabolic initialboundary value problems2011

    • Author(s)
      Nakao, M.T.
    • Organizer
      EPSRC Gregynog Workshop 2011 on Analytic and Computational Techniques in Spectral Theory and Related Topics
    • Place of Presentation
      Gregynog Hall, Newtown, Powy, UK(招待講演)
    • Year and Date
      2011-06-20
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 放物型初期境界値問題の数値解に対する精度保証について2011

    • Author(s)
      中尾充宏
    • Organizer
      2011年度RIMS研究集会「科学技術計算における理論と応用の新展開」特別講演
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2011-10-26
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the rigorous error estimation in the numerical methods and its applications for computer assisted proofs2011

    • Author(s)
      Nakao, M. T.
    • Organizer
      Workshop on Computational Dynamics, Foundations of Computational Mathematics Foundations of Computational Mathematics Conference 2011(FoCM' 11)
    • Place of Presentation
      Budapest, Hungary
    • Year and Date
      2011-07-12
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the verified computation of solutions for parabolic initial-boundary value problems2011

    • Author(s)
      Nakao, M.T.
    • Organizer
      Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
    • Place of Presentation
      Karlsruhe Institute of Technology, Karlsruhe, Germany(招待講演)
    • Year and Date
      2011-09-20
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the rigorous error estimation in the numerical methods and its applications for computer assisted proofs2011

    • Author(s)
      Nakao, M.T.
    • Organizer
      Workshop on Computational Dynamics, Foundations of Computational Mathematics Conference 2011 (FoCM'11)
    • Place of Presentation
      Budapest, Hungary(招待講演)
    • Year and Date
      2011-07-12
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the method of the inverse norm estimation for linear parabolic operators and its applications2010

    • Author(s)
      Nakao, M.T., Kinoshita, T., Kimura
    • Organizer
      China-Japan-Korea Joiny Conference on Numerical Mathematics (CJK2010)
    • Place of Presentation
      Gangneung University, Gangneung, Korea
    • Year and Date
      2010-08-19
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] A numerical verification method of solutions for parabolic initial-boundary value problems using a linearized inverse operator2010

    • Author(s)
      Mitsuhiro T.Nakao, Takehiko Kinoshita, Takuma Kimura
    • 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-29
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 線形化逆作用素を用いた非線形放物型偏微分方程式の計算機援用証明について2010

    • Author(s)
      木村拓馬、中尾充宏
    • Organizer
      研究集会:「数値解析と計算の信頼性評価」
    • Place of Presentation
      ハウステンボス ユトレヒト第5会議室
    • Year and Date
      2010-11-23
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 数値計算の信頼性評価---コンピュータを使った新しい解析学---2010

    • Author(s)
      中尾充宏
    • Organizer
      日本応用数理学会2010年度年会総合講演
    • Place of Presentation
      明治大学駿河台キャンパス
    • Year and Date
      2010-09-07
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] An efficient norm estimation for linearized inverse operators with appplications to numerical verification of solutions for nonlinear problems2010

    • Author(s)
      Nakao, M.T
    • Organizer
      7th International Conference on Scientific Computing and Applications (ICSCA'10)
    • Place of Presentation
      Dalian University of Technology, Dalian, China
    • Year and Date
      2010-06-14
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 数値計算の信頼性評価-コンピュータを使った新しい解析学-2010

    • Author(s)
      中尾充宏
    • Organizer
      日本応用数理学会2010年度年会総合講演
    • Place of Presentation
      明治大学駿河台キャンパス
    • Year and Date
      2010-09-07
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 非自己共役作用素に対する固有値の除外法2010

    • Author(s)
      渡部善隆、長藤かおり、中尾充宏
    • Organizer
      日本応用数理学会2010年度年会
    • Place of Presentation
      明治大学
    • Year and Date
      2010-09-08
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 線形化逆作用素を用いた非線形放物型方程式に対する計算機援用証明2010

    • Author(s)
      中尾充宏, 木下武彦, 木村拓馬
    • Organizer
      2010年度応用数学合同研究集会
    • Place of Presentation
      龍谷大学理工学部
    • Year and Date
      2010-12-16
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] 非凸領域における有限要素解のL2誤差評価に関する注意2009

    • Author(s)
      中尾充宏, 他
    • Organizer
      研究集会 : 「数値解析の現状と展望」
    • Place of Presentation
      公立はこだて未来大学
    • Year and Date
      2009-11-23
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Verified computation of a periodic solution of the Roessler system by using delayed feedback control2009

    • Author(s)
      M.T.Nakao
    • Organizer
      INDAM Meeting : Theoretical and computational methods in nonlinear differential equations
    • Place of Presentation
      Centro Residenziale Universitario di Bertinoro" ,Forli, Italy
    • Year and Date
      2009-09-16
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the numerical verification method of solutions for evolutional equations2009

    • Author(s)
      Nakao, M. T.
    • Organizer
      International Workshop on Verified Computations and Related Topics
    • Place of Presentation
      University of Karlsruhe(TH), Karlsruhe, Germany
    • Year and Date
      2009-03-09
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the numerical verification method of solutions for evolutional equations2009

    • Author(s)
      M. T. Nakao
    • Organizer
      International Workshop on Verified Computations and Related Topics
    • Place of Presentation
      University of Karlsruhe, Karlsruhe, Germany
    • Year and Date
      2009-03-09
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] On verified computations of the optimal constant in the a priori error estimates for H-2-O-projection2009

    • Author(s)
      M.T.Nakao, et al
    • Organizer
      7th International Conference of Numerical Analys is and Applied Mathematics(ICNAAM2009)
    • Place of Presentation
      Crete, Greece
    • Year and Date
      2009-09-21
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the numerical verification method of solutions for evolutional equations2009

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      International Workshop on Verified Computations and Related Topics
    • Place of Presentation
      Karlsruhe. Germany
    • Year and Date
      2009-03-09
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] Verified computation of a periodic solution of the Roessler system by using delayed feedback control2009

    • Author(s)
      M. T. Nakao
    • Organizer
      INDAM Meeting : Theoretical and computational methods in nonlinear differential equations,"Centro Residenziale Universitario di Bertinoro"
    • Place of Presentation
      Forli, Italy
    • Year and Date
      2009-09-16
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Some remarks on the a priori L-2 error estimates of a finite element H-1-0-projection on nonconvex domains2009

    • Author(s)
      Nakao, M.T.
    • Organizer
      Dagstuhl seminar 09471
    • Place of Presentation
      Schloss Dagstuhl, Germany
    • Year and Date
      2009-11-18
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • Place of Presentation
      Daejeon, Korea
    • Year and Date
      2008-10-11
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] On very accurate computation for solutions of elliptic problems with result verification by spectral method2008

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      The 2nd China-Japan-Korea Joint Seminar on Numerical Mathematics
    • Place of Presentation
      Weihai. China
    • Year and Date
      2008-08-26
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • Author(s)
      M.T. Nakao
    • Organizer
      6th International Conference on Scientific Computing and Applications(SCA2008), Pusan National University
    • Place of Presentation
      Busan, Korea
    • Year and Date
      2008-06-03
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      6th International Conference on Scientific Computing and Applications
    • Place of Presentation
      Busan, Korea
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • Author(s)
      M. T. Nakao
    • Organizer
      6th International Conference on Scientific Computing and Applications(SCA2008)
    • Place of Presentation
      Pusan National University, Busan, Korea
    • Year and Date
      2008-06-03
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • Place of Presentation
      Hotel Riviera, Daejeon, Korea
    • Year and Date
      2008-10-11
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      Gregynog Workshop 2008
    • Place of Presentation
      Cardiff, UK
    • Year and Date
      2008-07-16
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 無限次元非線形システムの精度保証付きパラメータ同定技法について2008

    • Author(s)
      中尾充宏
    • Organizer
      産業技術数理研究センター第4回ワークショップ
    • Place of Presentation
      九州大学
    • Year and Date
      2008-09-03
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] On very accurate computation of solutions with guaranteed error bounds for nonlinear elliptic problems by using a spectral Galerkin method2008

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      Institute Seminar for Scientific Computing and Mathematical Modeling
    • Place of Presentation
      Karlsruhe. Germany
    • Year and Date
      2008-07-18
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • Author(s)
      M. T. Nakao
    • Organizer
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • Place of Presentation
      Cardiff, United Kingdom
    • Year and Date
      2008-07-16
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] ある非自己共役作用素の複素固有値の除外に対する数値的検証法2008

    • Author(s)
      渡部善隆, 中尾充宏, Michael Plum, 長藤かおり
    • Organizer
      2008年度応用数学合同研究集会
    • Place of Presentation
      龍谷大学理工学部
    • Year and Date
      2008-12-16
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • Author(s)
      M. T. Nakao
    • Organizer
      6th International Conference on Scientific Computing and Applications
    • Place of Presentation
      Pusan National University, Busan, Korea
    • Year and Date
      2008-06-03
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      Gregynog Workshop 2008
    • Place of Presentation
      Cardiff, UK
    • Year and Date
      2008-07-16
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Some remarks on the Aubin-Nitsche trick of FEM solutions for ellipticproblems with singular adjoint operator2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      6th International Conference on Scientific Computing and Applications(SCA2008)
    • Place of Presentation
      Pusan National University, Busan, Korea
    • Year and Date
      2008-06-03
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On very accurate computation of solutions with guaranteed error bounds for nonlinear elliptic problems by using a spectral Galerkin method2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      Institute Seminar for Scientific Computing and Mathematical Modelling
    • Place of Presentation
      University of Karlsruhe, Karlsruhe, Geramany
    • Year and Date
      2008-07-18
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] A numerical approach to guaranteed a priori L2 error estimates in the FEM for elliptic problems with singular adjoint operator2008

    • Author(s)
      Nakao, M. T., Kinoshita T., Hashimoto, K.
    • Organizer
      International Workshop on Numerical Verification and its Applications (INVA2008)
    • Place of Presentation
      Okinawa, Japan
    • Year and Date
      2008-03-02
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] スペクトル法による境界値問題の高精度数値検証2008

    • Author(s)
      中尾充宏
    • Organizer
      基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • Place of Presentation
      KKRホテル金沢
    • Year and Date
      2008-11-17
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 無限次元非線形システムの精度保証付きパラメータ同定技法について2008

    • Author(s)
      中尾充宏
    • Organizer
      産業技術数理研究センター第4回ワークショップ
    • Place of Presentation
      九州大学
    • Year and Date
      2008-09-03
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] スペクトル法による境界値問題の高精度数値検証2008

    • Author(s)
      中尾充宏
    • Organizer
      2008年度基盤(S)合同研究集会「流れ問題のための高品質数値解法と計算機援用解析学」
    • Place of Presentation
      KKRホテル金沢
    • Year and Date
      2008-11-17
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • Place of Presentation
      Cardiff, UK
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Constructive a priori and a posteriori error estimates for bi-harmonic problems2008

    • Author(s)
      Hashimoto, K., Nakao, M. T.
    • Organizer
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations(SCAN 2008)
    • Place of Presentation
      The University of Texas, El Paso, USA
    • Year and Date
      2008-09-30
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] スペクトル法による境界値問題の解に対する高精度数値検証について2008

    • Author(s)
      木下武彦, 木村友紀, 戸村健作, 中尾充宏
    • Organizer
      日本応用数理学会
    • Place of Presentation
      首都大学東京
    • Year and Date
      2008-03-09
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • Place of Presentation
      Daejeon, Korea
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      6th International Conference on Scientific Computing and Applications
    • Place of Presentation
      Busan. Korea
    • Year and Date
      2008-06-03
    • Data Source
      KAKENHI-PROJECT-17002012
  • [Presentation] 重調和方程式に対する構成的事前誤差評価について2008

    • Author(s)
      橋本弘治, 中尾充宏
    • Organizer
      2008年度日本数学会秋期総合分科会
    • Place of Presentation
      東京工業大学大岡山キャンパス, 東京
    • Year and Date
      2008-09-27
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] On very accurate computation for solutions of elliptic problems with result verification by spectral method2008

    • Author(s)
      Nakao, M. T.
    • Organizer
      The 2nd China-Japan-Korea Joint Seminar on Numerical Mathematics
    • Place of Presentation
      Weihai, China
    • Year and Date
      2008-08-26
    • Data Source
      KAKENHI-PROJECT-20224001
  • [Presentation] Verified computations of the error in the finite element methods with applications to nonlinear PDEs2007

    • Author(s)
      M.T.Nakao
    • Organizer
      International Conference on SCIentific Compution And Differential Equations
    • Place of Presentation
      Le Palms du Grand Large Saint-Malo, France
    • Year and Date
      2007-06-10
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Numerical verfication of bifurcating Solutions for 3-dimensional Rayleigh-Benard convection2007

    • Author(s)
      M. T. Nakao
    • Organizer
      NOLTA2007, Intern. Sympo. On Nonliner Teory and its Appl.
    • Place of Presentation
      Vancouver, Canada
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Presentation] The guaranteed a priori error estimates in the finite element method and the spectral method with applications to nonlinear PDEs2007

    • Author(s)
      M.T.Nakao
    • Organizer
      Conference on Inequalities and Applications '07
    • Place of Presentation
      De La Motte Castle, Noszvaj, Hungary
    • Year and Date
      2007-09-13
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Numerical verification of bifurcating solutions for 3-D Rayleigh-Benard2007

    • Author(s)
      M.T.Nakao
    • Organizer
      NOLTA2007, Intern. Sympo.Nonlinear Theory
    • Place of Presentation
      Vancouver,Canada
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Presentation] Numerical verification methods for solutions of partial differential equations2007

    • Author(s)
      M.T.Nakao
    • Organizer
      6th International Congress on Industrial and Applied Mathematics
    • Place of Presentation
      Zurich, Switzerland
    • Year and Date
      2007-06-17
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Numerical verification method of solutions for nonlinear PDEs and its applications2007

    • Author(s)
      M.T.Nakao
    • Organizer
      Taiwan-Japan Joint Workshop on Numerical Analysis and Scientific Computation
    • Place of Presentation
      Institute of Mathematics, Academia Sinica, Taipei, Taiwan
    • Year and Date
      2007-12-02
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Numerical verification of bifurcating solutions with multipeaks for 3-dimensional Rayleigh-Benard convection2007

    • Author(s)
      M.T.Nakao, T.Nishida, et. al.
    • Organizer
      NOLTA 2007
    • Place of Presentation
      Vancouver, Canada
    • Year and Date
      2007-09-16
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Presentation] Verified computations of the error in the finite element methods with applications to nonlinear PDEs2007

    • Author(s)
      Nakao, M. T.
    • Organizer
      SciCADE 2007, International Conference on SCIentific Computation and Differential Equations
    • Place of Presentation
      Saint Malo, France
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] On constructive a priori and a posteriori error estimates for the finite element approximations of noncoercive elliptic problems2007

    • Author(s)
      M.T.Nakao
    • Organizer
      6th International Congress on Industrial and Applied Mathematics
    • Place of Presentation
      Zurich, Switzerland
    • Year and Date
      2007-06-16
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Numerical verification methods for solutions of partial differential equations2007

    • Author(s)
      M.T. Nakao
    • Organizer
      iciam O7, 6th International Congress on Industrial and Applied Mathematics
    • Place of Presentation
      Zurich, Switzerland
    • Year and Date
      2007-07-17
    • Data Source
      KAKENHI-PROJECT-17654026
  • [Presentation] On guaranteed error bounds of the finite element method with applications to stationary Navier-Stokes equations2007

    • Author(s)
      M.T.Nakao
    • Organizer
      International Conference on Rencent Developments of Numerical Schemes for Flow Problems
    • Place of Presentation
      Kyushu University Nishijin Plaza, Fukuoka
    • Year and Date
      2007-07-28
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Numerical verification methods of bifurcating solutions for two-and three-dimensional Rayleigh-Benard problems2006

    • Author(s)
      Nakao, M. T.
    • Organizer
      The First China-Japan-Korea Joint Conference on Numerical Mathematics
    • Place of Presentation
      Sapporo
    • Data Source
      KAKENHI-PROJECT-16104001
  • [Presentation] Numerical verification of solutions for heat convection problems2006

    • Author(s)
      M.T.Nakao
    • Organizer
      Czech-Japanese Seminar in Applied Math.
    • Place of Presentation
      Prague,Czech
    • Year and Date
      2006-09-01
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17340027
  • [Presentation] Constructive error estimates in finite element method of nonlin.PDE2006

    • Author(s)
      M.T.Nakao
    • Organizer
      Finite Element Method TEC 2006
    • Place of Presentation
      El Paso,Texas,USA
    • Year and Date
      2006-12-01
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17340027
  • [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] On numerical verification of solutions for 3-D heat convection problems2005

    • Author(s)
      M.T.Nakao
    • Organizer
      Dagstuhl Seminar on Numerical Algorithms
    • Place of Presentation
      Dagstuhl,Germany
    • Year and Date
      2005-09-26
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17340027
  • [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 optimal error estimates for the finite element method on the L-shaped domain

    • Author(s)
      Takehiko Kinoshita, Mitsuhiro T. Nakao
    • Organizer
      10th International Conference on Information Technology : New Generations(ITNG 2013)
    • Place of Presentation
      Las Vegas, USA
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] 「精度保証」---その過去から未来へ---

    • Author(s)
      中尾充宏
    • Organizer
      精度保証付き数値計算ワークショップ
    • Place of Presentation
      アクロス福岡、福岡市
    • Invited
    • 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] Numerical verification method of solutions for nonlinear elliptic and parabolic problems

    • Author(s)
      中尾充宏
    • Organizer
      RIMS 研究集会「非圧縮性粘性流体の数理解析」
    • Place of Presentation
      京都大学数理解析研究所
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540151
  • [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] 偏微分方程式の解に対する数値的存在検証---コンピュータによる厳密な解析学の展開---

    • Author(s)
      中尾充宏
    • Organizer
      日本数学会秋期総合分科会総合講演
    • Place of Presentation
      九州大学伊都キャンパス
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540151
  • [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
      東京大学数理科学研究科談話会
    • Place of Presentation
      東京大学駒場キャンパス
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] 楕円型線形逆作用素評価の収束性について

    • Author(s)
      渡部 善隆, 木下 武彦, 中尾 充宏
    • Organizer
      日本数学会2015年度年会
    • Place of Presentation
      明治大学
    • Year and Date
      2015-03-21 – 2015-03-24
    • Data Source
      KAKENHI-PROJECT-24340018
  • [Presentation] On guaranteed a posteriori error estimates for numerical solutions of nonlinear parabolic problems

    • Author(s)
      M. T. Nakao
    • Organizer
      6th European Congress on Computational Methods in Applied Sciences and Engineering(ECCOMAS 2012)
    • Place of Presentation
      Wien, Austria
    • Data Source
      KAKENHI-PROJECT-24540151
  • [Presentation] 流体の方程式に対する精度保証付き数値計算

    • Author(s)
      中尾充宏
    • Organizer
      早稲田大学流体数学セミナー
    • Place of Presentation
      早稲田大学西早稲田キャンパス
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540151
  • 1.  YAMAMOTO Nobito (30210545)
    # of Collaborated Projects: 13 results
    # of Collaborated Products: 6 results
  • 2.  NISHIDA Takaaki (70026110)
    # of Collaborated Projects: 13 results
    # of Collaborated Products: 8 results
  • 3.  TABATA Masahisa (30093272)
    # of Collaborated Projects: 11 results
    # of Collaborated Products: 5 results
  • 4.  KAWASAKI Hidefumi (90161306)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 5.  WATANABE Yoshitaka (90243972)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 68 results
  • 6.  YANAGAWA Takashi (80029488)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 7.  IMAI Hitoshi (80203298)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 8.  YAMAMOTO Tetsuro (80034560)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 9.  OKAMOTO Hisashi (40143359)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 10.  USHIJIMA Teruo (10012410)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 11.  KAWARADA Hideo (90010793)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 12.  TANAKA Syunichi (00028127)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 13.  OISHI Shin'ichi (20139512)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 1 results
  • 14.  MORI Massatake (20010936)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 15.  OHTSUKA Hiroshi (30203839)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 16.  FUEDA Kaoru (50253399)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 17.  TOMOEDA Kenji (60033916)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 18.  KAKO Takashi (30012488)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 19.  IKEDA Tsutomu (50151296)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 20.  MITSUI Taketomo (50027380)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 21.  KONISHI Sadanori (40090550)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 22.  KIKUCHI Fumio (40013734)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 23.  SHINOHARA Yoshitane (40035803)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 24.  MUROTA Kazuo (50134466)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 25.  吉川 敦 (80001866)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 26.  KOKUBU Hiroshi (50202057)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 27.  FURUKAWA Nagata (50037165)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 28.  NAGATOU Kaori (40326426)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 10 results
  • 29.  SUZUKI Atushi (60284155)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 30.  ISO Yuusuke (70203065)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 31.  KOZONO Hideo (00195728)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 32.  MATSUMURA Akitaka (60115938)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 33.  KAWANA Tadashi (20214661)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 34.  MIMACHI Katsuhisa (40211594)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 35.  SHIBATA Yoshihiro (50114088)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 36.  KIMURA Takuma (60581618)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 5 results
  • 37.  KINOSHITA Takehiko (30546429)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 25 results
  • 38.  YOSHIDA Masaaki (30030787)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 39.  FUJITA Hiroshi (80011427)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 40.  NAKASHIMA Masaharu (40041230)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 41.  KOTO Toshiyuki (30234793)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 42.  FUKUMOTO Yasuhide (30192727)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 43.  KANAYAMA Hiroshi (90294884)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 44.  MASUDA Kyuya (10090523)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 45.  TSUTSUMI Masayoshi (70063774)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 46.  OHTSUKA Koji (30141683)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 47.  藤野 精一 (20037146)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 48.  河原 康雄 (90091181)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 49.  佐藤 坦 (30037254)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 50.  塩濱 勝博 (20016059)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 51.  横山 和弘 (30333454)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 52.  石原 和夫 (90090563)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 53.  加藤 幹雄 (50090551)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 54.  三村 文武 (30039119)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 55.  宮崎 虔一 (50039062)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 56.  伊理 正夫 (40010722)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 57.  三好 哲彦 (60040101)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 58.  MICHAEL Plum
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 1 results
  • 59.  NAKAKI Tatsuyuki (50172284)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 60.  KIMURA Masato (70263358)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 61.  NISHIMURA Naoshi (90127118)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 62.  YAMAMOTO Yutaka (70115963)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 63.  SUGIMOTO Naozou (20196752)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 64.  FUJIWARA Hiroshi (00362583)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 65.  HIGASHIMORI Nobuyuki (10397573)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 66.  OONISHI Kazuei (20078554)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 67.  YAMAMOTO Masahiro (50182647)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 68.  NISHIDA Kotoba (10274838)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 69.  MATSUDA Tetsuya (00209561)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 70.  SAKAJYO Takashi (10303603)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 71.  NAKAMURA Gen (50118535)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 72.  TANUMA Kazumi (60217156)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 73.  SHIROTA Kenji (90302322)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 74.  EI Shin-ichiro (30201362)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 75.  MURASHIGE Sunao (40302749)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 76.  YHOTSUTANI Syoji (60128361)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 77.  HOSONO Yuzo (50008877)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 78.  YAMAGUCHI Masaya (30025796)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 79.  MIMURA Masayasu (50068128)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 80.  TANABE Kunio (50000203)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 81.  KAJIWARA Jouji (90037169)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 82.  CHOU Kanchi (10197634)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 83.  MAESONO Yoshihiko (30173701)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 84.  ZHANG Shao-liang (20252273)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 85.  HONDA Satoru (00219239)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 86.  TSUCHIYA Takuya (00163832)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 87.  CHIN Shokun (70304251)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 88.  TANAKA kazunaga (20188288)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 89.  工藤 昭夫 (00037144)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 90.  田中 輝雄 (80227149)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 91.  末吉 豊 (80128040)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 92.  横田 佳之 (40240197)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 93.  坂内 悦子 (00253394)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 94.  田中 靖子 (00271099)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 95.  鈴木 昌和 (20112302)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 96.  久保 富士男 (80112168)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 97.  伊藤 茂 (50016185)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 98.  矢野 公一 (60114691)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 99.  野間口 謙太郎 (60124806)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 100.  西川 青季 (60004488)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 101.  鳥居 達生 (10029069)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 102.  西浦 康政 (00131277)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 103.  鈴木 貴 (40114516)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 104.  藤井 宏 (90065839)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 105.  名取 亮 (70013745)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 106.  白谷 克巳 (80037168)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 107.  若山 正人 (40201149)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 108.  松葉 育雄 (30251177)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 109.  中村 正彰 (00017419)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 110.  杉原 正顯 (80154483)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 111.  小澤 一文 (20100753)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 112.  吉田 春夫 (70220663)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 113.  前田 茂 (20115934)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 114.  伊藤 利明 (60201927)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 115.  竹田 辰興 (60272746)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 116.  劉 雪峰 (50571220)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 117.  荻田 武史 (00339615)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 118.  小林 健太 (60432902)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 119.  関根 晃太 (80732239)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 120.  穴井 宏和
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi