著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 小副川 健 and 望月 祐志 and 横山 和弘,電子相関理論のための数式処理システムに向けて,数理解析研究所講究録,18802818,[京都] : 京都大学数理解析研究所,2011-09,,1759,99-104,https://cir.nii.ac.jp/crid/1520572359991748736,