CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems |
scientific article |
Statements
CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (English)
0 references
9 July 2021
0 references
rigorous numerical analysis
0 references
C++ library
0 references
computer-assisted proof
0 references
