A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem

DOI10.1007/978-3-0348-0249-9_3zbMath1253.35046arXiv1210.5893MaRDI QIDQ3145991

Michael Plum, Filomena Pacella, D. Roth, Patrick J. McKenna

Publication date: 17 December 2012

Published in: Inequalities and Applications 2010 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1210.5893

zbMATH Keywords

uniqueness; computer-assisted proof; semilinear elliptic boundary value problem

Mathematics Subject Classification ID

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

65N15: Error bounds for boundary value problems involving PDEs

35J60: Nonlinear elliptic equations