An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs |
scientific article |
Statements
An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (English)
0 references
21 March 2019
0 references
validated numerics
0 references
initial value problem
0 references
variational equations
0 references
uniform hyperbolicity
0 references
chaos
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
