Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Nakao, Mitsuhiro T. Heftet / 2020 / Engelsk
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Nakao, Mitsuhiro T. Innbundet / 2019 / Engelsk
