10 citations · 19 across the 21 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
math.NA2021
Error constant estimation under the maximum norm for linear Lagrange interpolation
Shirley Mae Galindo, Koichiro Ike, Xuefeng Liu
For the Lagrange interpolation over a triangular domain, we propose an efficient algorithm to rigorously evaluate the interpolation error constant under the maximum norm by using t…
math.NA2021
Guaranteed a posteriori local error estimation for finite element solutions of boundary value problems
Taiga Nakano, Xuefeng Liu
This paper considers the finite element solution of the boundary value problem of Poisson's equation and proposes a guaranteed em a posteriori local error estimation based on the h…
math.NA2021★ 6 cited
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi
This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that…