Skip to main content

SIAM

Courses
SIAM Home
Search
Sign Up
Sign In

Item Added to Cart

You just added

You have item(s) in your cart

  • Proceed to Checkout
  1. Courses
  2. 2017 SIAM Conference on App...
  3. Computer Assisted Proofs in...

Computer Assisted Proofs in Dynamical Systems - Part I of II

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)
  • Courses
  • Search
  • Support
  • SIAM Home
  • Sign Up
  • Sign In
  • Privacy Policy | Cookies Policy