2017 - 2021 Numerical verification method of solutions for evolutionary equations by applying the matrix exponential
2015 - 2018 A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension
2014 - 2017 -
2012 - 2015 Numerical verification method of solutions for nonlinear evolutional equations
Show all
Papers (21):
Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao. Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation. Computational Methods in Applied Mathematics. 2022
Takuma Kimura, Teruya Minamoto, Mitshuhiro T. Nakao. Constructive Error Estimates for a Full-Discretized Periodic Solution of Heat Equation by Spatial Finite-Element and Time Spectral Method. 2024
木村 拓馬. A method of verified computation for convex programming. SCAN 2016 Book of Abstracts. 2016. -. 121-122