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.
**

[back]