A refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems
A refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems
复制标题
半线性椭圆边值问题计算机辅助证明残差求值的细化技术
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
S.Oishi
中科院分区：
文献类型：
--
作者：
A.Takayasu;S.Oishi
