Numerical validation of blow-up solutions of ordinary differential equations (Q345956)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical validation of blow-up solutions of ordinary differential equations |
scientific article |
Statements
Numerical validation of blow-up solutions of ordinary differential equations (English)
0 references
2 December 2016
0 references
ordinary differential equations
0 references
blow-up solutions
0 references
compactifications
0 references
Lyapunov functions
0 references
validated computations
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
