Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao. A Numerical Verification Method of Solutions for the Navier-Stokes Equations. In Tibor Csendes, editor, Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998. pages 347-357, Springer, 1998. [doi]
Abstract is missing.