DS17 - MS13-2: Nontrivial Dynamics in the Forced Navier-Stokes Equations: A Computer-Assisted Proof(PDF) 2017-SIAM-DS17-MS13-2-012.pdf