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