Bachelor(University of Science and Technology of China), Master (Mathematical science)(The University of Tokyo), Doctor (Mathematical science)(The University of Tokyo)
Research funding number
50571220
J-Global ID
200901049358442703
Profile
My current research is on the finite element method, especially its application in the eigenvalue bounds for various differential operators.
Research Interests
Computer-assisted proof
,Finite Element Method
,Numerical Analysis
Research Areas
Natural sciences / Applied mathematics and statistics /
Natural sciences / Basic mathematics /
Research History
Sep 2023
-
Today
Tokyo Woman's Christian University Professor
Oct 2014
-
Aug 2023
Niigata University Mathematical Science, Fundamental Sciences, Graduate School of Science and Technology Associate Professor
Aug 2009
-
Sep 2014
Waseda University Research Institute for Science and Engineering Visiting Researcher, Assistant Professor
Education
Apr 2004
-
Mar 2009
The University of Tokyo Graduate School, Division of Mathematical Sciences Mathematical Science
Sep 1998
-
Jul 2003
The University of Science & Technology of China Department of Mathematics
Journal of Computational and Applied Mathematics 429 Sep 2023 [Refereed]
For conforming finite element approximations of the Laplacian eigenfunctions, a fully computable guaranteed error bound in the L2 norm sense is proposed. The bound is based on the a priori error estimate for the Galerkin projection of the conformi...
Journal of Computational and Applied Mathematics 425 Jun 2023 [Refereed]
This paper considers the finite element solution of the boundary value problem of Poisson's equation and proposes a guaranteed local error estimation based on the hypercircle method. Compared to the existing literature on qualitative error estimat...
For compact self-adjoint operators in Hilbert spaces, two algorithms are proposed to provide fully computable a posteriori error estimate for eigenfunction approximation. Both algorithms apply well to the case of tight clusters and multiple eigenv...
Wenbing Shao   Falai Chen   Xuefeng Liu   
CAD Computer Aided Design 147 Jun 2022 [Refereed]
In this paper, a robust and efficient algorithm is proposed to calculate the intersection points of two planar algebraic curves with guaranteed tolerance. The proposed method takes advantage of the fundamental methods in the fields of CAGD, soluti...
Xuefeng Liu   Mitsuhiro T. Nakao   Shin'ichi Oishi   
Communications in Nonlinear Science and Numerical Simulation 108 May 2022 [Refereed]
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 the exact solution as the fixed point of the Newton iteration exist...