- Tytuł:
- High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays
- Autorzy:
-
Zgliczyński, Piotr
Szczelina, Robert - Data publikacji:
- 2024
- Słowa kluczowe:
-
computer-assisted proofs
fixed-point index
periodic orbits
infinite-dimensional phase space
covering relations
symbolic dynamics - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Artykuł