Computer-assisted proofs in PDE: a survey

Javier Gómez-Serrano ^[1]
1. [1] Universidad de Princeton
Localización: SeMA Journal: Boletín de la Sociedad Española de Matemática Aplicada, ISSN-e 2254-3902, ISSN 2254-3902, Vol. 76, Nº. 3, 2019, págs. 459-484
Idioma: inglés
DOI: 10.1007/s40324-019-00186-x
Texto completo no disponible (Saber más ...)
Resumen
- 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.