抄録
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.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 347-357 |
| ページ数 | 11 |
| ジャーナル | Reliable Computing |
| 巻 | 5 |
| 号 | 3 |
| 出版ステータス | Published - 1999 8月 |
| 外部発表 | はい |
ASJC Scopus subject areas
- ソフトウェア
- 安全性、リスク、信頼性、品質管理