TY - RPRT TI - Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity AU - Kaname Matsue AU - Akitoshi Takayasu PY - 2019 UR - https://arxiv.org/abs/1902.01842 ID - 1902.01842 ER -