Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:15, 25 April 2024
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