Skip to main content
  1. Courses
  2. 2017 SIAM Conference on App...
  3. Computer Assisted Proofs in...
  4. DS17 - MS13-2: Nontrivial D...

DS17 - MS13-2: Nontrivial Dynamics in the Forced Navier-Stokes Equations: A Computer-Assisted Proof