Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Watanabe, Yoshitaka1021,49 DKK
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Watanabe, Yoshitaka1021,49 DKK