Before revision: The verified computing with assistance of computers has proved to be a promising approach to investigate the solution existence to nonlinear equation systems. In this paper, the latest progress about the solution verification for the stationary Navier--Stokes equationover a non-convex 3D domain is reported .
After revision: This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domain is reported .