@article{oai:tsukuba.repo.nii.ac.jp:00040218,
 author = {高安, 亮紀 and TAKAYASU, Akitoshi and Matsue, Kaname and Sasaki, Takiko and Tanaka, Kazuaki and Mizuguchi, Makoto and Oishi, Shin’ichi},
 journal = {Journal of Computational and Applied Mathematics},
 month = {Apr},
 pages = {10--29},
 title = {Numerical validation of blow-up solutions of ordinary differential equations},
 volume = {314},
 year = {2017},
 yomi = {タカヤス, アキトシ}
}