@misc{indiciaea158f097e263,
  title = {Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains},
  author = {Xuefeng Liu and Mitsuhiro T. Nakao and Shin'ichi Oishi},
  year = {2021},
  doi = {10.1016/j.cnsns.2021.106223},
  url = {https://arxiv.org/abs/2101.03727},
  note = {Source identifier: 2101.03727}
}