Computer-assisted proofs in PDE: a survey
Analysis of PDEs
2018-10-02 v1
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.
Cite
@article{arxiv.1810.00745,
title = {Computer-assisted proofs in PDE: a survey},
author = {Javier Gómez-Serrano},
journal= {arXiv preprint arXiv:1810.00745},
year = {2018}
}
Comments
29 pages, 6 figures