Computer-Assisted Proofs in Fluid PDEs using Interval Arithmetic
A detailed exposition on the application of rigorous numerical computation and interval arithmetic to produce validated mathematical proofs for singularity formation in fluid PDEs.
Professor of Mathematics
Self-contained public lectures, keynote addresses, and research seminars.
A detailed exposition on the application of rigorous numerical computation and interval arithmetic to produce validated mathematical proofs for singularity formation in fluid PDEs.
NYU's Tristan Buckmaster discusses a recent breakthrough on the blow-up for smooth solutions to the incompressible Euler equations, framed within the context of AI's influence.