6 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
Showing math.NAShow 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…