9 citations · 28 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.NA2018★ 1 cited
Numerical verification of solutions for nonlinear parabolic problems
Kouji Hashimoto, Takehiko Kinoshita, Mitsuhiro T. Nakao
In this paper, we present a numerical verification method of solutions for nonlinear parabolic initial boundary value problems. Decomposing the problem into a nonlinear part and an…
math.NA2018★ 5 cited
Constructive error analysis of a full-discrete finite element method for the heat equation
Kouji Hashimoto, Mitsuhiro T. Nakao, Takuma Kimura +1
In this paper, we present a new full-discrete finite element method for the heat equation, and show the numerical stability of the method by verified computations. Since, in the er…