TY - JOUR
T1 - Computer assisted proofs in dynamical systems
AU - Capiński, Maciej J.
AU - Mireles James, Jason D.
AU - Tucker, Warwick
AU - Wilczak, Daniel
AU - van den Berg, Jan Bouwe
PY - 2023/4
Y1 - 2023/4
N2 - Numerical simulations play an important role in dynamical systems theory, providing more detailed insight into the properties of a system than could be obtained by purely analytical or perturbative arguments. This creates a gap between our intuitive understanding of a system and what can be proved about it. The theory of “validated numerics”, “rigorous numerics”, or “computer assisted proof in analysis/dynamical systems” provides a much needed bridge between numerical simulations and theory.
AB - Numerical simulations play an important role in dynamical systems theory, providing more detailed insight into the properties of a system than could be obtained by purely analytical or perturbative arguments. This creates a gap between our intuitive understanding of a system and what can be proved about it. The theory of “validated numerics”, “rigorous numerics”, or “computer assisted proof in analysis/dynamical systems” provides a much needed bridge between numerical simulations and theory.
UR - https://www.scopus.com/pages/publications/85144080410
U2 - 10.1016/j.cnsns.2022.106998
DO - 10.1016/j.cnsns.2022.106998
M3 - Editorial
AN - SCOPUS:85144080410
SN - 1007-5704
VL - 118
JO - Communications in Nonlinear Science and Numerical Simulation
JF - Communications in Nonlinear Science and Numerical Simulation
M1 - 106998
ER -