A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
semilinear elliptic boundary value problem
scientific article; zbMATH DE number 5625436
scientific article