- Tytuł:
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Autorzy:
-
Mrozek, Marian
Kapela, Tomasz
Zgliczyński, Piotr
Wilczak, Daniel - Data publikacji:
- 2021
- Słowa kluczowe:
-
rigorous numerical analysis
C++ library
computer-assisted proof - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Artykuł