A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem (Q3145991)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem |
scientific article |
Statements
A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem (English)
0 references
17 December 2012
0 references
semilinear elliptic boundary value problem
0 references
uniqueness
0 references
computer-assisted proof
0 references
