Computer assisted proofs in nonlinear dynamics
|
Organizer(s): |
Name:
|
Affiliation:
|
Country:
|
Jason Mireles James
|
Florida Atlantic University
|
USA
|
Maciej Capinski
|
AGH University
|
Poland
|
|
Abstract:
| | Dynamical systems theory has always been driven by applications to physics, biology, and meteorology where important problems typically exhibit strong nonlinearities. Numerical simulations provide essential insights into the behavior of such systems, paving the way for advancements in the general theory of dynamical systems. Over the last decades a number of researchers have developed powerful methods of computer assisted proof which bridge the gap between numerical experiments and rigorous mathematical proof.
The present session will bring together a large number of experts in this exciting area to share new results stimulate discussion about the future of the field. The talks focus on new results in celestial mechanics, patter formation and stability analysis, and dynamics of partial and delay differential equations. |
|
|
List of approved abstract |
|
|
|
|
