Yazar
Michael Plum
2 cilt bulundu.
Cilt sonuçları
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe · Springer
480 sayfa · 2019
Partial Differential equations / Automatic theorem proving / Numerical calculations / Verification

