Kang, Kyungkeun2007-08-162007-08-162001-07https://hdl.handle.net/11299/3708We obtain local estimates of the steady-state Stokes system "without pressure'' near boundary. As an application of the local estimates, we prove the partial regularity up to the boundary for the stationary Navier-Stokes equations in a smooth domain in five dimension.