Computer-assisted proofs in PDE: a survey | Publicación