TY  - DATA
AU  - Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
TI  - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
SN  - 9789811376696
PY  - 2019///
PB  - Springer Nature Singapore
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-981-13-7669-6
ER  -