1 book • 1 series
Book #53: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
