Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 347-357 |
| Number of pages | 11 |
| Journal | Reliable Computing |
| Volume | 5 |
| Issue number | 3 |
| Publication status | Published - 1999 Aug |
| Externally published | Yes |
ASJC Scopus subject areas
- Software
- Safety, Risk, Reliability and Quality