Resumen de Computer-assisted proofs in PDE: a survey

Javier Gómez Serrano

• In this survey we present some recent results concerning computer-assisted proofs in partial differential equations, focusing in those coming from problems in incompressible fluids. Particular emphasis is put on the techniques, as opposed to the results themselves.