著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "Takayasu, Akitoshi and Oishi, Shin'ichi and Kubo, Takayuki",Numerical existence proofs and guaranteed error bounds for solutions to two-point boundary value problems,数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2010-11,1719,,48-60,https://cir.nii.ac.jp/crid/1050845760691988480,