Computer-Assisted Proofs in Dynamical Systems
|
Organizer(s): |
Name:
|
Affiliation:
|
Country:
|
Akitoshi Takayasu
|
University of Tsukuba
|
Japan
|
Jonathan Jaquette
|
New Jersey Institute of Technology
|
USA
|
|
|
|
|
|
|
|
|
Introduction:
| | Dynamical systems serve as fundamental models for diverse phenomena in biology, physics, and chemistry. Their nonlinear character poses major analytical difficulties, which become even more severe in infinite-dimensional settings such as partial differential and delay equations. While numerical simulations are indispensable in exploring such systems, questions of validity and reliability remain central. Computer-assisted proofs (CAPs) have emerged as a rigorous methodology at the interface of numerical analysis, functional analysis, and scientific computing. This special session will highlight recent advances in CAP techniques and showcase their applications to frontier problems in finite- and infinite-dimensional dynamics.
|
|
|
|
|
|
