Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation; 2022年05月 発表情報; Computational Methods in Applied Mathematics, Volume 22, Issue 3, 631-647 著者; Takuma Kimura, Teruya Minamoto and Mitsuhiro T. Nakao
Constructive error estimates for full discrete approximation of periodic solution for heat equation; 2020年04月 発表情報; Journal of Computational and Applied Mathematics, Volume 368, Article 112510, 10 pp. 著者; Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
Constructive error analysis of a full-discrete finite element method for the heat equation; 2019年04月 発表情報; Japan Journal of Industrial and Applied Mathematics, 36, 777–790 著者; Kouji Hashimoto, Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
On the constructive error estimates of a full discrete approximation for time-periodic solution of the heat equations; 2018年09月 発表情報; The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, 166--167 著者; Takuma Kimura, Teruya Minamoto and Mitsuhiro T. Nakao
Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation; 2017年09月 発表情報; Reliable Computing, 25, 202-212 著者; Takuma Kimura, Teruya Minamoto, and Mitsuhiro T. Nakao
A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems; 2016年11月 発表情報; Numerical Algorithms, 76, 33-51 著者; Ryo Kobayashi, Takuma Kimura, Shin’ichi Oishi
Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation; 2016年09月 発表情報; 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics, 72-73 著者; Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao
A method of verified computation for convex programming; 2016年09月 発表情報; 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics, 121-122 著者; Ryo Kobayashi, Takuma Kimura, Shin’ichi Oishi
Some considerations of the invertibility verifications for linear elliptic operators; 2015年03月 発表情報; Japan Journal of Industrial and Applied Mathematics, 32, 1, 19-31 著者; Nakao, M.T., Watanabe, Y., Kinoshita, T., Kimura, T., Yamamoto, N.
On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems; 2014年04月 発表情報; Numerische Mathematik, 126, 4, 679-701 著者; Kinoshita Takehiko;Kimura Takuma;Nakao Mitsuhiro T.
Validated Solutions for Symmetric Saddle Point Linear
Systems; 2014年 発表情報; The 33rd JSST Annual Conference: International Conference on Simulation Technology, 90-91 著者; R. Kobayashi, T. Kimura, S. Oishi:
Some remarks on the instability of approximate solutions for ODEs; 2013年 発表情報; Nonlinear Theory and Its Applications, 4, 1, 80-87 著者; Kimura Takuma;Kinoshita Takehiko;Nakao Mitsuhiro T.
Validated solutions for P-matrix linear complementarity problems, ; 2013年 発表情報; Pacific Journal of Optimization, 9, 3, 479-491 著者; T. Kimura
Constructive a priori error estimates for a full discrete approximation of the heat equation; 2013年 発表情報; SIAM Journal on Numerical Analysis, 51, 1525-1541 著者; M.T. Nakao, T. Kimura, T. Kinoshita
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems; 2012年 発表情報; Computing, 94, 151-162 著者; M.T. Nakao, T. Kinoshita, T. Kimura
A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations; 2011年 発表情報; Journal of Computational and Applied Mathematics, 236, 1622-1636 著者; T. Kinoshita, T. Kimura, M.T. Nakao
Validated solutions of saddle point linear systems; 2009年 発表情報; SIAM Journal on Matrix Analysis and Applications, 30, 1697-1708 著者; T. Kimura, X. Chen
Kepler's octic curve as a model of Mars's orbit; 2009年 発表情報; Far East Journal of Applied Mathematics, 34, 21-30 著者; T. Kimura, H. Nakazato
Topological properties of the numerical range of matrix polynomials; 2008年 発表情報; International Journal of Algebra, 2, 217-221 著者; T. Kimura, H. Nakazato
Kepler's quartic curve as a model of planetary orbits; 2008年 発表情報; International Mathematical Forum, 3, 38, 1871-1877 著者; T. Kimura, H. Nakazato
Verification of solutions for linear equations by RICCG method; 2007年 発表情報; International Journal of INFORMATION, 10, 741-751 著者; T. Kimura
Finite element surface fitting for bridge management; 2006年 発表情報; International Journal of Information Technology & Decision Making, 5, 671-681 著者; X. Chen, T. Kimura
Validated solutions for P-matrix linear complementarity problems; 2014年 発表情報; Abstracts of
The 7th CREST-SBM International Conference The International Workshop on Numerical
Verification and its Applications, 2 pp. 著者; T. Kimura
A numerical method to prove the
existence of solutions for nonlinear parabolic Problems; 2012年 発表情報; Combinatorics and Numerical Analysis Joint Workshop 著者; T. Kimura, T. Kinoshita, M.T. Nakao
一般講演(学術講演を含む)
[04568] Constructive error estimates for a full-discretized periodic solution of heat equation; 2023年08月 発表情報; 10th International Congress on Industrial and Applied Mathematics (ICIAM 2023) 著者; Takuma Kimura (Saga University), Teruya Minamoto (Saga University), Mitsuhiro T. Nakao (Waseda University)
On the numerical verification for parabolic initial boundary value problems; 2015年09月 発表情報; Joint Seminar on Numerical Analysis at Niigata University 著者; T. Kimura, T. Minamoto, M. T. Nakao
Numerical Verification Method for Solutions of Symmetric Saddle Point Linear Systems; 2015年09月 発表情報; Joint Seminar on Numerical Analysis at Niigata University 著者; Ryo Kobayashi, Takuma Kimura, Shin'ichi Oishi