著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "横山, 和弘",頂点作用素代数研究の計算機による証明支援,数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2003-07,1335,,111-118,https://cir.nii.ac.jp/crid/1050564285473839360,