The following pages link to Tomasz Kapela (Q1000243):
Displayed 8 items.
- A Lohner-type algorithm for control systems and ordinary differential inclusions (Q1000244) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- The existence of simple choreographies for the<i>N</i>-body problem—a computer-assisted proof (Q4444051) (← links)
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight (Q5297506) (← links)
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems (Q5346730) (← links)
- Persistent Homology of Morse Decompositions in Combinatorial Dynamics (Q5383198) (← links)
- (Q5394980) (← links)