Computer-assisted proof for the stationary solution existence of the Navier–Stokes equation over 3D domains
2022 ◽
pp. 106223
2020 ◽
2016 ◽
Vol 19
(4)
◽
pp. 739-772
◽
Keyword(s):
2020 ◽
1998 ◽
Vol 115
(1)
◽
pp. 18-24
◽
2021 ◽
Vol 375
◽
pp. 113600
Keyword(s):
2015 ◽
Vol 17
(1)
◽
pp. 14-19
◽
Keyword(s):