TY  - RPRT
TI  - Numerical verification of solutions for nonlinear parabolic problems
AU  - Kouji Hashimoto
AU  - Takehiko Kinoshita
AU  - Mitsuhiro T. Nakao
PY  - 2020
UR  - https://arxiv.org/abs/1811.04261
ID  - 1811.04261
ER  -