### 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

## Fingerprint Dive into the research topics of 'A Numerical Verification Method of Solutions for the Navier-Stokes Equations'. Together they form a unique fingerprint.

## Cite this

Watanabe, Y., Yamamoto, N., & Nakao, M. T. (1999). A Numerical Verification Method of Solutions for the Navier-Stokes Equations.

*Reliable Computing*,*5*(3), 347-357.