![](/img/cover-not-exists.png)
[Springer Series in Computational Mathematics] Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Volume 53 ||
Nakao, Mitsuhiro T., Plum, Michael, Watanabe, YoshitakaVolume:
10.1007/97
Year:
2019
DOI:
10.1007/978-981-13-7669-6
File:
PDF, 12.98 MB
2019