著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "荒井, 迅",精度保証付き数値計算の力学系への応用について(力学系の研究 : トポロジーと計算機による新展開),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2006-04,1485,,1-13,https://cir.nii.ac.jp/crid/1050001202109463040,