2015 - 2018 A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension
2017 - 2021 Numerical verification method of solutions for evolutionary equations by applying the matrix exponential
2012 - 2015 Numerical verification method of solutions for nonlinear evolutional equations
2014 - 2017 -
Papers (19):
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