Computers have helped us prove many theorems, which like the four-color theorem are mostly combinatorial or discrete in nature. For domains like dynamical systems, however, computer-assisted proofs ...

Example-oriented survey of nonlinear dynamical systems, including chaos. Combines numerical exploration of differential equations describing physical problems with analytic methods and geometric ...

Do global sensitivity metrics for parameterized dynamical systems admit their own dynamical systems? Continuous time dynamical systems in applications include input ...

The course will survey methods for characterizing time-series data by reading primary literature and implementing and testing methods on synthetic data. Students will simulate time-series from a ...

Imagine a garden filled with every variety of flower in the world — delicate orchids, towering sunflowers, the waxy blossoms of the saguaro cactus and the corpse flower’s putrid eruptions. Now imagine ...

In 1885, King Oscar II of Sweden announced a public challenge consisting of four mathematical problems. The French polymath Henri Poincaré focused on one related to the motion of celestial bodies, the ...