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 - http://www.scopus.com/inward/record.url?scp=85144080410&partnerID=8YFLogxK
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 -