TY  - GEN
DO  - 10.1007/978-981-13-7669-6
DO  - doi
T1  - Numerical verification methods and computer-assisted proofs for partial differential equations /
AU  - Nakao, Mitsuhiro T.
AU  - Plum, Michael,
AU  - Watanabe, Yoshitaka,
VL  - volume 53
CN  - QA377
ID  - 917157
KW  - Differential equations, Partial.
KW  - Automatic theorem proving.
KW  - Numerical calculations
SN  - 9789811376696
SN  - 9811376697
TI  - Numerical verification methods and computer-assisted proofs for partial differential equations /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-981-13-7669-6
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-981-13-7669-6
ER  -