DS17 - MS13-1: Lots of recent progress: computational theorems in dynamics Presentation: Jan Bouwe Van Den Berg, VU University, Amsterdam, Netherlands, 26 min 39 sec
DS17 - MS13-1: Lots of recent progress: computational theorems in dynamics Document: DS17 - MS13-1: Lots of recent progress: computational theorems in dynamics(PDF)
DS17 - MS13-2: Nontrivial Dynamics in the Forced Navier-Stokes Equations: A Computer-Assisted Proof Presentation: Jean-Philippe Lessard, Universite Laval, Canada, 27 min 3 sec
DS17 - MS13-2: Nontrivial Dynamics in the Forced Navier-Stokes Equations: A Computer-Assisted Proof Document: DS17 - MS13-2: Nontrivial Dynamics in the Forced Navier-Stokes Equations: A Computer-Assisted Proof(PDF)
DS17 - MS13-3: Rigorous Integration Forward in Time of PDEs Using Chebyshev Basis Presentation: Jacek Cyranka, Rutgers University, USA, 20 min 39 sec
DS17 - MS13-3: Rigorous Integration Forward in Time of PDEs Using Chebyshev Basis Document: DS17 - MS13-3: Rigorous Integration Forward in Time of PDEs Using Chebyshev Basis
DS17 - MS13-4: Validated Computation of Transport Barriers in Unsteady Flows Presentation: Shane D Kepley, Florida Atlantic University, USA, 31 min 8 sec
DS17 - MS13-4: Validated Computation of Transport Barriers in Unsteady Flows Document: DS17 - MS13-4: Validated Computation of Transport Barriers in Unsteady Flows(PDF)