Numerical verification by infinite dimensional Newton's method for stationary solutions of the Navier-Stokes problems
M.T.NakaoK.NagatouK.Hashimoto
京都大学数理解析研究所講究録