@misc{indiciaeffdbe9e8543d,
  title = {A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem},
  author = {Patrick J. McKenna and Filomena Pacella and Michael Plum and Dagmar Roth},
  year = {2012},
  doi = {10.1007/978-3-0348-0249-9\_3},
  url = {https://arxiv.org/abs/1210.5893},
  note = {Source identifier: 1210.5893}
}