Display Abstract
Title Computer-assisted proofs in incompressible fluids
Name Javier Gomez-Serrano
Country USA
Email javier.gomez@icmat.es
Co-Author(s) Angel Castro, Diego Cordoba, Charles Fefferman, Francisco Gancedo, Rafael Granero-Belinchon, Alberto Martin Zamora
Submit Time 2014-03-31 01:11:19
Session
Special Session 117: Rigorous and numerical methods for invariant manifolds
Contents
In this talk we will address some computer-assisted proofs and techniques applied to several interface problems in incompressible fluid dynamics, such as the $\alpha$-patches, the inhomogeneous Muskat, and the water waves problem.
Go Back