Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao:
A Numerical Verification Method of Solutiuons for the Navier-Stokes Equations,
Reliable Computing, Vol.5, No.3 (1999) pp.347-357.

A numerical verification method of the solution for the stationary Navier-Stokes equations is described. This method is based on the infinite dimensional fixed point theorem using the Newton-like operator. We present a verification algorithm which generates automatically on a computer a set including the exact solution. Some numerical examples are also discussed.

The publisher holds the copyright on this manuscript.