Akitoshi Takayasu   Kaname Matsue   Takiko Sasaki   Kazuaki Tanaka   Makoto Mizuguchi   Shin'ichi Oishi   
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 314 10-29 2017年4月 [査読有り]
This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The n...