Mitsuhiro T. Nakao;Nobito Yamamoto;Yoshitaka Watanabe
-;-;-
Numerical verification of stationary solutions for Navier-Stokes problems
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)