Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance

zbMath1185.35101MaRDI QIDQ1012465

Michael Plum

Publication date: 21 April 2009

Published in: Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

zbMATH Keywords

existence of solutions; error bounds; multiplicity of solutions; boundary value problem; semilinear elliptic equation; computer assisted proof

Mathematics Subject Classification ID

35J25: Boundary value problems for second-order elliptic equations

65N15: Error bounds for boundary value problems involving PDEs

35J61: Semilinear elliptic equations