Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849): Difference between revisions
From MaRDI portal
Latest revision as of 02:03, 1 August 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
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references