Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) 野呂 正行 and 横山 和弘,グレブナー基底候補の正当性検証について,数理解析研究所講究録,18802818,[京都] : 京都大学数理解析研究所,2013-07,,1843,38-50,https://cir.nii.ac.jp/crid/1520290885011928576,