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 II of II

DS17 - MS25-1: Advances on Wright's Conjecture: Counting and Discounting Periodic Orbits in Wright's Equation

Presentation: Jonathan Jaquette, Rutgers University, USA, 23 min 24 sec

DS17 - MS25-1: Advances on Wright's Conjecture: Counting and Discounting Periodic Orbits in Wright's Equation

Document: DS17 - MS25-1: Advances on Wright's Conjecture: Counting and Discounting Periodic Orbits in Wright's Equation

DS17 - MS25-2: Validated Saddle-node Bifurcations and Applications to Lattice Dynamical Systems

Presentation: Evelyn Sander, George Mason University, 28 min 56 sec

DS17 - MS25-2: Validated Saddle-node Bifurcations and Applications to Lattice Dynamical Systems

Document: DS17 - MS25-2: Validated Saddle-node Bifurcations and Applications to Lattice Dynamical Systems

DS17 - MS25-3: Validated Continuation and Hopf bifurcations in ODEs

Presentation: Elena Queirolo, Vrije Universiteit Amsterdam, The Netherlands, 21 min 12 sec

DS17 - MS25-3: Validated Continuation and Hopf bifurcations in ODEs

Document: DS17 - MS25-3: Validated Continuation and Hopf bifurcations in ODEs

DS17 - MS25-4: Algorithms for Processing the Labeled Conley Index

Presentation: Rafael Frongillo, University of Colorado, USA, 24 min 54 sec

DS17 - MS25-4: Algorithms for Processing the Labeled Conley Index

Document: DS17 - MS25-4: Algorithms for Processing the Labeled Conley Index
  • Courses
  • Search
  • Support
  • SIAM Home
  • Sign Up
  • Sign In
  • Privacy Policy | Cookies Policy