Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains.
Xuefeng LiuMitsuhiro T. NakaoShin'ichi OishiPublished in: Commun. Nonlinear Sci. Numer. Simul. (2022)
Keyphrases
- computer assisted
- navier stokes
- numerical simulations
- computer aided
- intraoperative
- non stationary
- mathematical model
- numerical methods
- foreign language
- boundary value problem
- hamilton jacobi
- fluid dynamics
- image analysis
- language learning
- optimal solution
- computer assisted instruction
- computational fluid dynamics
- nonlinear equations
- pattern recognition