TY  - RPRT
TI  - Accurate method of verified computing for solutions of semilinear heat equations
AU  - Akitoshi Takayasu
AU  - Makoto Mizuguchi
AU  - Takayuki Kubo
AU  - Shin'ichi Oishi
PY  - 2017
UR  - https://arxiv.org/abs/1611.10243
ID  - 1611.10243
ER  -