Computer-assisted proofs in PDE: a survey
Javier G\'omez-Serrano
TL;DR
This survey reviews recent developments in computer-assisted proofs for partial differential equations, especially in incompressible fluid problems, emphasizing techniques over specific results.
Contribution
It provides a comprehensive overview of current methods used in computer-assisted proofs in PDEs related to fluid dynamics.
Findings
Highlights key techniques in computer-assisted PDE proofs
Summarizes recent advances in incompressible fluid problems
Emphasizes methodological developments over specific results
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.