Title: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Subjects: Partial Differential equations, Automatic theorem proving, Numerical calculations, Verification