@misc{indiciae559aaf66b7e9,
  title = {Numerical verification method for positiveness of solutions to elliptic equations},
  author = {Kazuaki Tanaka and Kouta Sekine and Shin'ichi Oishi},
  year = {2016},
  url = {https://arxiv.org/abs/1606.03818},
  note = {Source identifier: 1606.03818}
}