Nakao, Mitsuhiro T.: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Menü