TY  - RPRT
TI  - Numerical verification method for positive solutions of elliptic problems
AU  - Kazuaki Tanaka
PY  - 2020
DO  - 10.1016/j.cam.2019.112647
UR  - https://arxiv.org/abs/2011.01556
ID  - 2011.01556
ER  -