Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
渡部 善隆 and Michael Plum and 中尾 充宏,並行Poiseuille流れの不安定性に対する計算機援用証明,数理解析研究所講究録,18802818,[京都] : 京都大学数理解析研究所,2008-10,,1614,11-19,https://cir.nii.ac.jp/crid/1520290885005914112,