著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
関根 晃太 and 田中 一成 and 大石 進一,ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法,数理解析研究所講究録,18802818,[京都] : 京都大学数理解析研究所,2017-07,,2037,96-105,https://cir.nii.ac.jp/crid/1520290885013078784,