Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849)
From MaRDI portal
scientific article; zbMATH DE number 7681486
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature |
scientific article; zbMATH DE number 7681486 |
Statements
Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (English)
0 references
3 May 2023
0 references
saddle-type blow-up solutions
0 references
rigorous numerics
0 references
compactifications
0 references
desingularization
0 references
parameterization method
0 references
separatrix
0 references
