Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods (Q6598405)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods |
scientific article; zbMATH DE number 7906729
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods |
scientific article; zbMATH DE number 7906729 |
Statements
Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods (English)
0 references
5 September 2024
0 references
semilinear PDEs
0 references
unbounded domains
0 references
computer-assisted proof
0 references
Fourier analysis
0 references
Newton-Kantorovich theorem
0 references
stability of traveling waves
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
