Computer-assisted proofs in PDE: a survey
arXiv:1810.00745
Abstract
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.
arXiv comment29 pages, 6 figures