著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
荒井 迅,On Applications of Rigorous Computing to Dynamical Systems,数理解析研究所講究録 未定(掲載予定)(to appear),,,,,,,https://cir.nii.ac.jp/crid/1010282256926977799,