TY  - RPRT
TI  - A new formulation for the numerical proof of the existence of solutions to elliptic problems
AU  - Kouta Sekine
AU  - Mitsuhiro T. Nakao
AU  - Shin'ichi Oishi
PY  - 2019
DO  - 10.1007/s00211-020-01155-7
UR  - https://arxiv.org/abs/1910.00759
ID  - 1910.00759
ER  -