共 50 条
[24]
Numerical verification methods for a system of elliptic PDEs, and their software library
[J].
IEICE NONLINEAR THEORY AND ITS APPLICATIONS,
2021, 12 (01)
:41-74