@第{zbMATH05543824条，作者={Jorge，J.Santiago和Gulias，Victor M.和Freire，Jose L.}，Title={计算{Gr{\“o}bner}基}的有效函数程序的证明属性，FJournal＝{符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={44}，数字={5}，页码={571--582}，年份={2009}，语言={英语}，DOI={10.1016/j.jsc.2007.07.016}，关键词={13P10,68W30}，zbMATH={5543824}，Zbl={1159.13016}}