Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

In the last decades, various mathematical problems have been solved by computer-assisted proofs, amo...