Set arithmetic and the enclosing problem in dynamics

DOI10.4064/AP-74-1-237-259MaRDI QIDQ4522920zbMATH OpenOpenAlexFDO

Authors Marian Mrozek, Piotr Zgliczyński

Publication date 7 January 2001

Published in Annales Polonici Mathematici (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/208369

zbMATH Keywords

computer assisted proofsdynamical systemsenclosing probleminterval arithmeticset arithmetic

Mathematics Subject Classification ID

Discretization methods and integrators (symplectic, variational, geometric, etc.) for dynamical systems (37M15) General methods in interval analysis (65G40) Numerical methods for Hamiltonian systems including symplectic integrators (65P10)

Recommendations

• scientific article; zbMATH DE number 3848504
• scientific article; zbMATH DE number 1787316
• Preface: Special issue on the occasion of the 4th international workshop on set-oriented numerics (SON 13, Dresden, 2013)
• Topological dynamics: rigorous numerics via cubical homology
• A combinatorial procedure for finding isolating neighbourhoods and index pairs

Cited in

(15)

• Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Recent advances in a rigorous computation of Poincaré maps
• Topological horseshoes of traveling waves for a fast-slow predator-prey system
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• Combinatorial vector field topology in three dimensions
• scientific article; zbMATH DE number 434860 (Why is no real title available?)
• Preface: Special issue on the occasion of the 4th international workshop on set-oriented numerics (SON 13, Dresden, 2013)
• Conley index approach to sampled dynamics
• Čech type approach to computing homology of maps
• The Morse equation in the Conley index theory for discrete multivalued dynamical systems
• Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
• Inner and outer approximation of the image of a set by a nonlinear function
• Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds

This page was built for publication: Set arithmetic and the enclosing problem in dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4522920)