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
• 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.