A numerical verification method for solutions of the stationary Navier-Stokes equation in nonconvex polygonal domains
A numerical verification method for solutions of the stationary Navier-Stokes equation in nonconvex polygonal domains
复制标题
非凸多边形域平稳纳维-斯托克斯方程解的数值验证方法
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
M.T.Nakao
中科院分区：
文献类型：
--
作者：
K.Hashimoto;K.Kobayashi;M.T.Nakao
两点边值问题的计算机辅助存在性证明
影响因子：
3.7
作者：
M. Plum
通讯作者：
M. Plum
DOI：
--
发表时间：
1988
期刊：
影响因子：
--
作者：
M. Nakao
通讯作者：
M. Nakao
非线性椭圆边值问题解的数值存在证明和显式界限
影响因子：
3.7
作者：
M. Plum
通讯作者：
M. Plum