TY  - RPRT
TI  - Numerical verification method for positiveness of solutions to elliptic equations
AU  - Kazuaki Tanaka
AU  - Kouta Sekine
AU  - Shin'ichi Oishi
PY  - 2016
UR  - https://arxiv.org/abs/1606.03818
ID  - 1606.03818
ER  -