Old Web
English
Sign In
Acemap
>
Paper
>
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains.
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains.
2022
Xuefeng Liu
Mitsuhiro T. Nakao
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]