Numerical validation of blow-up solutions of ordinary differential equations. - Akitoshi Takayasu; Kaname Matsue; Takiko Sasaki; Kazuaki Tanaka; Makoto Mizuguchi; Shin'ichi Oishi (J. Comput. Appl. Math., 2017)