Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains

From MaRDI portal
Publication:2076252

DOI10.1016/J.CNSNS.2021.106223zbMath1493.65218arXiv2101.03727OpenAlexW3120296170WikidataQ113877805 ScholiaQ113877805MaRDI QIDQ2076252

Shin'ichi Oishi, Xuefeng Liu, Mitsuhiro T. Nakao

Publication date: 16 February 2022

Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.03727




Related Items (2)


Uses Software



Cites Work




This page was built for publication: Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains