Certifying Trajectories of Dynamical Systems (Q2807872)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certifying Trajectories of Dynamical Systems |
scientific article |
Statements
Certifying Trajectories of Dynamical Systems (English)
0 references
25 May 2016
0 references
reliable computation
0 references
dynamical systems
0 references
certified integration
0 references
ball arithmetic
0 references
Taylor models
0 references
multiple precision computations
0 references
