Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Format:: e-book
Title:: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Author:: Nakao; Plum, Michael; Watanabe, Yoshitaka
Language:: English
Publisher:: Springer Singapore 2019
ISBN:: 981-13-7668-9
981-13-7669-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000009845065?locale=en