TY  - RPRT
TI  - Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
AU  - Xuefeng Liu
AU  - Mitsuhiro T. Nakao
AU  - Shin'ichi Oishi
PY  - 2021
DO  - 10.1016/j.cnsns.2021.106223
UR  - https://arxiv.org/abs/2101.03727
ID  - 2101.03727
ER  -