A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528)
From MaRDI portal
scientific article; zbMATH DE number 6722945
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory |
scientific article; zbMATH DE number 6722945 |
Statements
A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (English)
0 references
24 May 2017
0 references
semilinear parabolic initial-boundary value problems
0 references
verified numerical computations
0 references
existence and local uniqueness
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
