Live Chat ×
Skip to main content

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