TY - RPRT TI - Validated numerical solutions for some semilinear elliptic equations on the disk AU - Gianni Arioli AU - Hans Koch PY - 2017 UR - https://arxiv.org/abs/1712.08030 ID - 1712.08030 ER -