TY  - RPRT
TI  - A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
AU  - Patrick J. McKenna
AU  - Filomena Pacella
AU  - Michael Plum
AU  - Dagmar Roth
PY  - 2012
DO  - 10.1007/978-3-0348-0249-9_3
UR  - https://arxiv.org/abs/1210.5893
ID  - 1210.5893
ER  -